src/HOL/ex/Set_Theory.thy
2015-12-28 wenzelm 2015-12-28 more symbols;
2015-12-27 wenzelm 2015-12-27 tuned;
2015-12-26 wenzelm 2015-12-26 isabelle update_cartouches -c -t;
2015-10-06 wenzelm 2015-10-06 isabelle update_cartouches;
2015-10-06 wenzelm 2015-10-06 fewer aliases for toplevel theorem statements;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
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