Changes

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

Changeset 80141:022a9c26b14f by paulson _lp15@cam.ac.uk_: Tidied up another messy theory
The file was modified	`src/HOL/Nominal/Examples/Standardization.thy`