Changes

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

Changeset 10217:c850653d0f33 by paulson _lp15@cam.ac.uk_: fixed some MESSY proofs
The file was modified	`thys/Noninterference_Generic_Unwinding/GenericUnwinding.thy`
Changeset 10216:a423a8d3a8bd by paulson _lp15@cam.ac.uk_: fixes involving continuous_on_topo
The file was modified	`thys/Smooth_Manifolds/Analysis_More.thy`
The file was modified	`thys/Smooth_Manifolds/Projective_Space.thy`