src/ZF/WF.thy
2012-03-17 ago tidying and structured proofs
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
2011-11-20 ago eliminated obsolete "standard";
2010-03-13 ago removed old CVS Ids;
2007-10-07 ago modernized specifications;
2007-04-15 ago read prop as prop, not term;
2005-06-17 ago migrated theory headers to new format
2003-01-23 ago tidying (by script)
2003-01-15 ago more new-style theories
2002-10-09 ago Re-organization of Constructible theories
2002-08-27 ago avoid duplicate fact bindings;
2002-07-14 ago Removal of mono.thy
2002-07-14 ago improved presentation markup
2002-07-02 ago Tidying and introduction of various new theorems
2002-06-28 ago tweaked
2002-06-26 ago new theorems
2002-06-18 ago new lemma
2002-06-18 ago new theorems
2002-06-05 ago Tidying up. Mainly moving proofs from Main.thy to other (Isar) theory files.
2002-05-23 ago new definition of "apply" and new simprule "beta_if"
2002-05-20 ago conversion of equalities and WF to Isar
1997-10-10 ago fixed dots;
1997-01-03 ago Implicit simpsets and clasets for FOL and ZF
1996-02-06 ago expanded tabs
1995-12-09 ago removed quotes from consts and syntax sections
1995-06-22 ago removed \...\ inside strings
1995-03-07 ago Replaced rules by defs
1994-06-21 ago Addition of cardinals and order types, various tidying
1993-11-16 ago made pseudo theories for all ML files;
1993-09-16 ago Initial revision