src/ZF/Univ.thy
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2007-10-07 wenzelm 2007-10-07 modernized specifications; removed legacy ML bindings;
2007-10-07 wenzelm 2007-10-07 replaced some 'translations' by 'abbreviation';
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2005-02-01 paulson 2005-02-01 the new subst tactic, by Lucas Dixon
2003-01-23 paulson 2003-01-23 tidying (by script)
2002-08-27 wenzelm 2002-08-27 avoid duplicate fact bindings;
2002-07-14 paulson 2002-07-14 improved presentation markup
2002-07-03 wenzelm 2002-07-03 fixed comment;
2002-07-02 paulson 2002-07-02 Tidying and introduction of various new theorems
2002-06-28 paulson 2002-06-28 new theorems, tidying
2002-06-18 paulson 2002-06-18 tidying
2002-06-05 paulson 2002-06-05 Tidying up. Mainly moving proofs from Main.thy to other (Isar) theory files.
2002-05-28 paulson 2002-05-28 deleted some useless ML bindings
2002-05-23 paulson 2002-05-23 new definition of "apply" and new simprule "beta_if"
2002-05-18 paulson 2002-05-18 converted Arith, Univ, func to Isar format!
2000-07-21 paulson 2000-07-21 Univ no longer requires Arith (really it never did)
1999-01-12 wenzelm 1999-01-12 eliminated global/local names;
1998-12-28 paulson 1998-12-28 new inductive, datatype and primrec packages, etc.
1997-10-20 wenzelm 1997-10-20 local;
1997-10-17 wenzelm 1997-10-17 global;
1997-01-03 paulson 1997-01-03 Implicit simpsets and clasets for FOL and ZF
1996-02-06 clasohm 1996-02-06 expanded tabs
1995-12-09 clasohm 1995-12-09 removed quotes from consts and syntax sections
1995-06-22 clasohm 1995-06-22 removed \...\ inside strings
1994-12-16 lcp 1994-12-16 now also depends upon Finite.thy
1994-11-29 lcp 1994-11-29 replaced "rules" by "defs"
1994-08-12 lcp 1994-08-12 installation of new inductive/datatype sections
1994-07-27 lcp 1994-07-27 Addition of infinite branching datatypes
1994-06-21 lcp 1994-06-21 Addition of cardinals and order types, various tidying
1993-11-16 clasohm 1993-11-16 made pseudo theories for all ML files; documented dependencies between all thy and ML files
1993-10-08 wenzelm 1993-10-08 fixed comment;
1993-10-05 lcp 1993-10-05 Retry of the previous commit (network outage)
1993-09-16 clasohm 1993-09-16 Initial revision