src/FOL/ex/Natural_Numbers.thy
2008-04-18 wenzelm modernized specifications and proofs;
2008-01-27 wenzelm tuned;
2005-06-17 haftmann migrated theory headers to new format
2004-06-21 kleing Merged in license change from Isabelle2004
2001-12-05 wenzelm tuned;
2001-10-15 wenzelm tuned;
2001-10-12 wenzelm tuned;
2001-10-05 wenzelm induct: case names;
2001-10-04 wenzelm unsymbolized;
2001-10-04 wenzelm Theory of the natural numbers: Peano's axioms, primitive recursion.
less more (0) tip