Changes

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

Changeset 80149:40a3fc07a587 by paulson _lp15@cam.ac.uk_: More tidying of proofs
The file was modified	`src/HOL/Nominal/Examples/Crary.thy`
The file was modified	`src/HOL/Nominal/Examples/Fsub.thy`
The file was modified	`src/HOL/Nominal/Examples/Lam_Funs.thy`
The file was modified	`src/HOL/Nominal/Examples/W.thy`