src/ZF/Main.thy
2010-03-13 ago removed old CVS Ids;
2008-02-11 ago added Id;
2008-02-11 ago Made theory names in ZF disjoint from HOL theory names to allow loading both developments
2007-10-07 ago modernized specifications;
2007-04-26 ago removed lagacy ML files;
2005-10-17 ago moved pos/negDivAlg_induct declarations to Integ/IntDiv.thy;
2005-06-17 ago migrated theory headers to new format
2004-04-14 ago use more symbols in HTML output
2002-11-05 ago new operator transrec3
2002-07-19 ago A couple of new theorems for Constructible
2002-07-14 ago improved presentation markup
2002-06-05 ago Tidying up. Mainly moving proofs from Main.thy to other (Isar) theory files.
2002-05-17 ago New theorems from Constructible, and moving some Isar material from Main
2002-01-21 ago lexical tidying
2002-01-16 ago Isar version of AC
2002-01-08 ago Added some simprules proofs.
2002-01-03 ago Some new theorems for ordinals
2001-12-19 ago separation of the AC part of Main into Main_ZFC, plus a few new lemmas
2001-12-08 ago new-style theory;
2000-08-11 ago new theory Integ/IntDiv and many more monotonicity laws, etc., for the integers
2000-08-10 ago installation of cancellation simprocs for the integers
2000-06-28 ago finally theory Bin (the integers) is included
1998-09-22 ago deleted erroneous semicolon
1998-07-17 ago as in HOL