Changes

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

Changeset 10210:be1342e33484 by paulson _lp15@cam.ac.uk_: renamings
The file was modified	`thys/Catalan_Numbers/Catalan_Numbers.thy`
The file was modified	`thys/CryptHOL/Misc_CryptHOL.thy`
The file was modified	`thys/Smooth_Manifolds/Analysis_More.thy`
The file was modified	`thys/Smooth_Manifolds/Product_Manifold.thy`
The file was modified	`thys/Smooth_Manifolds/Projective_Space.thy`