src/ZF/func.thy
2012-03-15 ago replacing ":" by "\<in>"
2012-03-06 ago Using mathematical notation for <-> and cardinal arithmetic
2012-03-06 ago mathematical symbols instead of ASCII
2010-12-17 ago replaced command 'nonterminals' by slightly modernized version 'nonterminal';
2009-10-17 ago eliminated hard tabulators, guessing at each author's individual tab-width;
2008-07-29 ago Lemmas added
2008-06-11 ago tuned comments;
2007-10-07 ago modernized specifications;
2005-06-17 ago migrated theory headers to new format
2004-06-08 ago Groups, Rings and supporting lemmas
2003-08-19 ago new case_tac
2003-07-10 ago Changed many Intersection rules from i:I to I~=0 to avoid introducing a new
2003-05-27 ago updating ZF-UNITY with Sidi's new material
2002-10-01 ago Numerous cosmetic changes, prompted by the new simplifier
2002-07-14 ago Removal of mono.thy
2002-07-14 ago merged Update with func
2002-07-02 ago Tidying and introduction of various new theorems
2002-06-26 ago new theorems
2002-06-19 ago conversion of Cardinal, CardinalArith
2002-06-18 ago new lemma
2002-05-24 ago strong lemmas about functions
2002-05-24 ago conversion of Perm to Isar. Strengthening of comp_fun_apply
2002-05-23 ago new definition of "apply" and new simprule "beta_if"
2002-05-22 ago more tidying
2002-05-22 ago tidying up
2002-05-21 ago converted domrange to Isar and merged with equalities
2002-05-18 ago converted Arith, Univ, func to Isar format!
1997-01-03 ago Implicit simpsets and clasets for FOL and ZF
1994-08-15 ago ZF/func/empty_fun: renamed from fun_empty
1993-11-16 ago made pseudo theories for all ML files;