src/HOL/ex/Set_Theory.thy
Thu, 01 Mar 2012 19:34:52 +0100 haftmann more fundamental pred-to-set conversions, particularly by means of inductive_set; associated consolidation of some theorem names (c.f. NEWS)
Sat, 24 Dec 2011 15:53:09 +0100 haftmann tuned proofs
Thu, 18 Aug 2011 13:10:24 +0200 haftmann avoid case-sensitive name for example theory
less more (0) tip