src/ZF/Cardinal.thy
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2008-02-11 krauss 2008-02-11 Made theory names in ZF disjoint from HOL theory names to allow loading both developments in a single session (but not merge them).
2007-10-07 wenzelm 2007-10-07 modernized specifications; removed legacy ML bindings;
2006-11-26 wenzelm 2006-11-26 updated (binder) syntax/notation;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-06-08 paulson 2004-06-08 Groups, Rings and supporting lemmas
2004-04-14 kleing 2004-04-14 use more symbols in HTML output
2003-08-19 paulson 2003-08-19 new case_tac
2003-06-27 paulson 2003-06-27 Conversion of AllocBase to new-style
2003-05-27 paulson 2003-05-27 updating ZF-UNITY with Sidi's new material
2003-01-23 paulson 2003-01-23 tidying (by script)
2002-10-01 paulson 2002-10-01 Numerous cosmetic changes, prompted by the new simplifier
2002-08-27 wenzelm 2002-08-27 *** empty log message ***
2002-07-14 paulson 2002-07-14 Removal of mono.thy
2002-07-14 paulson 2002-07-14 improved presentation markup
2002-07-09 paulson 2002-07-09 better document preparation
2002-07-02 paulson 2002-07-02 Tidying and introduction of various new theorems
2002-06-24 paulson 2002-06-24 moving some results around
2002-06-19 paulson 2002-06-19 conversion of Cardinal, CardinalArith
2002-01-30 paulson 2002-01-30 mu-syntax for the LEAST operator
2000-08-24 paulson 2000-08-24 added some xsymbols, and tidied
1996-02-06 clasohm 1996-02-06 expanded tabs
1995-12-09 clasohm 1995-12-09 removed quotes from consts and syntax sections
1994-12-23 lcp 1994-12-23 Added Krzysztof's constants lesspoll and Finite
1994-11-29 lcp 1994-11-29 replaced "rules" by "defs"
1994-06-21 lcp 1994-06-21 Addition of cardinals and order types, various tidying