Changes

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

Changeset 72097:496cfe488d72 by paulson _lp15@cam.ac.uk_: a few more lemmas
The file was modified	`src/HOL/Finite_Set.thy`
The file was modified	`src/HOL/Fun_Def.thy`
The file was modified	`src/HOL/Library/Infinite_Set.thy`