src/ZF/OrderArith.thy
2003-08-28 skalberg 2003-08-28 Extended the notion of letter and digit, such that now one may use greek, gothic, euler, or calligraphic letters as normal letters.
2003-07-21 paulson 2003-07-21 Tidied some examples
2003-02-19 paulson 2003-02-19 fixed anomalies in the installed classical rules
2003-01-23 paulson 2003-01-23 tidying (by script)
2002-10-09 paulson 2002-10-09 Re-organization of Constructible theories
2002-08-28 paulson 2002-08-28 various new lemmas for Constructible
2002-08-21 paulson 2002-08-21 tweaks and new lemmas
2002-07-14 paulson 2002-07-14 improved presentation markup
2002-07-02 paulson 2002-07-02 Tidying and introduction of various new theorems
2002-05-13 paulson 2002-05-13 converted Order.ML OrderType.ML OrderArith.ML to Isar format
2000-09-07 paulson 2000-09-07 a number of new theorems
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-11-29 lcp 1994-11-29 replaced "rules" by "defs"
1994-06-23 lcp 1994-06-23 modifications for cardinal arithmetic