src/HOL/ex/Abstract_NAT.thy
2006-11-15 wenzelm 2006-11-15 tuned proofs;
2006-11-14 wenzelm 2006-11-14 converted to 'inductive2'; proper localized definitions; added rec examples;
2006-09-26 haftmann 2006-09-26 renamed 0 and 1 to HOL.zero and HOL.one respectivly; introduced corresponding syntactic classes
2006-09-11 haftmann 2006-09-11 hid succ, pred in Numeral.thy
2006-09-06 haftmann 2006-09-06 got rid of Numeral.bin type
2006-04-08 wenzelm 2006-04-08 refined 'abbreviation';
2006-02-16 wenzelm 2006-02-16 Abstract Natural Numbers with polymorphic recursion.