Changes

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

removed intro, desc, elim, and simp annotations from FSet lemmas that are instances of lemmas in Set

Changeset 78121:e72884b2da04 by desharna: removed intro, desc, elim, and simp annotations from FSet lemmas that are instances of lemmas in Set
The file was modified	`src/HOL/Library/FSet.thy`