src/ZF/OrdQuant.thy
2002-01-21 paulson 2002-01-21 new simprules and classical rules
2002-01-21 paulson 2002-01-21 lexical tidying
2002-01-15 paulson 2002-01-15 now [rule_format] knows about ospec
2002-01-08 paulson 2002-01-08 Added some simprules proofs. Converted theories CardinalArith and OrdQuant to Isar style
2002-01-03 paulson 2002-01-03 Some new theorems for ordinals
2001-12-19 paulson 2001-12-19 separation of the AC part of Main into Main_ZFC, plus a few new lemmas
2001-11-09 wenzelm 2001-11-09 eliminated old "symbols" syntax, use "xsymbols" instead;
1999-01-12 wenzelm 1999-01-12 eliminated global/local names;
1997-10-20 wenzelm 1997-10-20 local;
1997-10-17 wenzelm 1997-10-17 global;
1997-01-23 wenzelm 1997-01-23 added symbols syntax;
1997-01-03 paulson 1997-01-03 Implicit simpsets and clasets for FOL and ZF