Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Changeset 10212:b7cf508aed5b by paulson _lp15@cam.ac.uk_: patch: no way to fix these awful proofs
The file was modified	`thys/Valuation/Valuation1.thy`