Changes

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

Changeset 76218:728f38b016c0 by paulson _lp15@cam.ac.uk_: added a couple of structured proofs
The file was modified	`src/ZF/Constructible/Normal.thy`