Changes

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

Changeset 80139:fec5a23017b5 by paulson _lp15@cam.ac.uk_: Tidying up more messy proofs
The file was modified	`src/HOL/Nominal/Examples/Class1.thy`