Changes

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

Changeset 80142:34e0ddfc6dcc by paulson _lp15@cam.ac.uk_: More tidying of Nominal proofs
The file was modified	`src/HOL/Nominal/Examples/Fsub.thy`
The file was modified	`src/HOL/Nominal/Examples/Pattern.thy`
The file was modified	`src/HOL/Nominal/Nominal.thy`