src/ZF/OrderArith.thy
2010-03-13 wenzelm removed old CVS Ids;
2007-10-07 wenzelm modernized specifications;
2007-04-15 wenzelm read prop as prop, not term;
2005-06-17 haftmann migrated theory headers to new format
2003-08-27 skalberg Extended the notion of letter and digit, such that now one may use greek,
2003-07-21 paulson Tidied some examples
2003-02-19 paulson fixed anomalies in the installed classical rules
2003-01-23 paulson tidying (by script)
2002-10-09 paulson Re-organization of Constructible theories
2002-08-28 paulson various new lemmas for Constructible
2002-08-21 paulson tweaks and new lemmas
2002-07-14 paulson improved presentation markup
2002-07-02 paulson Tidying and introduction of various new theorems
2002-05-13 paulson converted Order.ML OrderType.ML OrderArith.ML to Isar format
2000-09-07 paulson a number of new theorems
1996-02-06 clasohm expanded tabs
1995-12-09 clasohm removed quotes from consts and syntax sections
1995-06-22 clasohm removed \...\ inside strings
1994-11-28 lcp replaced "rules" by "defs"
1994-06-23 lcp modifications for cardinal arithmetic
less more (0) tip