src/HOL/Nat.thy
1997-02-12 nipkow 1997-02-12 New class "order" and accompanying changes. In particular reflexivity of <= is now one rewrite rule.
1997-01-23 wenzelm 1997-01-23 removed \<mu> syntax;
1996-12-13 oheimb 1996-12-13 adaptions for symbol font
1996-11-27 wenzelm 1996-11-27 moved "1", "2" to syntax section;
1996-06-25 berghofe 1996-06-25 Changed argument order of nat_rec.
1996-04-23 oheimb 1996-04-23 *** empty log message ***
1996-04-23 oheimb 1996-04-23 repaired critical proofs depending on the order inside non-confluent SimpSets, (temporarily) removed problematic rule less_Suc_eq form simpset_of "Nat"
1996-04-17 oheimb 1996-04-17 *** empty log message ***
1996-03-28 paulson 1996-03-28 Translations for 1 and 2 moved from Hoare/Examples.thy to Nat.thy
1996-03-05 paulson 1996-03-05 Converted TABs to spaces
1996-03-04 nipkow 1996-03-04 Added a constant UNIV == {x.True} Added many new rewrite rules for sets. Moved LEAST into Nat. Added cardinality to Finite.
1996-02-05 clasohm 1996-02-05 expanded tabs; renamed subtype to typedef; incorporated Konrad's changes
1995-11-29 clasohm 1995-11-29 removed quotes from types in consts and syntax sections
1995-06-21 clasohm 1995-06-21 removed \...\ inside strings
1995-03-24 clasohm 1995-03-24 changed syntax of tuples from <..., ...> to (..., ...)
1995-03-03 clasohm 1995-03-03 new version of HOL with curried function application