src/HOL/Library/Extended_Nat.thy
2012-10-12 wenzelm 2012-10-12 discontinued obsolete typedef (open) syntax;
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)
2011-12-20 noschinl 2011-12-20 add simp rules for enat and ereal
2011-12-07 huffman 2011-12-07 add cancellation simprocs for type enat
2011-11-17 huffman 2011-11-17 remove redundant simp rules plus_enat_0
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2011-08-02 huffman 2011-08-02 Extended_Nat.thy: renamed iSuc to eSuc, standardized theorem names
2011-07-26 hoelzl 2011-07-26 enat is a complete_linorder instance
2011-07-19 hoelzl 2011-07-19 rename Fin to enat
2011-07-19 hoelzl 2011-07-19 add ereal to typeclass infinity
2011-07-19 hoelzl 2011-07-19 add nat => enat coercion
2011-07-19 hoelzl 2011-07-19 Introduce infinity type class
2011-07-19 hoelzl 2011-07-19 rename Nat_Infinity (inat) to Extended_Nat (enat)