src/HOL/ex/Set_Theory.thy
2012-03-01 haftmann 2012-03-01 more fundamental pred-to-set conversions, particularly by means of inductive_set; associated consolidation of some theorem names (c.f. NEWS)
2011-12-24 haftmann 2011-12-24 tuned proofs
2011-08-18 haftmann 2011-08-18 avoid case-sensitive name for example theory