src/FOL/ex/Natural_Numbers.thy
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2001-12-05 wenzelm 2001-12-05 tuned;
2001-10-16 wenzelm 2001-10-16 tuned;
2001-10-12 wenzelm 2001-10-12 tuned;
2001-10-05 wenzelm 2001-10-05 induct: case names;
2001-10-04 wenzelm 2001-10-04 unsymbolized;
2001-10-04 wenzelm 2001-10-04 Theory of the natural numbers: Peano's axioms, primitive recursion. (Modernized version of Larry Paulson's theory "Nat".)