Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

Changeset 80140:6d56e85f674e by paulson _lp15@cam.ac.uk_: More proof tidying for Nominal
The file was modified	`src/HOL/Nominal/Examples/Pattern.thy`
The file was modified	`src/HOL/Nominal/Examples/W.thy`