src/FOL/ex/Natural_Numbers.thy
Fri, 05 Oct 2001 21:42:10 +0200 wenzelm induct: case names;
Thu, 04 Oct 2001 15:29:22 +0200 wenzelm unsymbolized;
Thu, 04 Oct 2001 15:25:31 +0200 wenzelm Theory of the natural numbers: Peano's axioms, primitive recursion.
less more (0) tip