| Thu, 04 Oct 2001 15:26:14 +0200 | wenzelm | theory Natural_Numbers; | changeset | files |
| Thu, 04 Oct 2001 15:25:51 +0200 | wenzelm | use "~~/src/Provers/induct_method.ML"; | changeset | files |
| Thu, 04 Oct 2001 15:25:31 +0200 | wenzelm | Theory of the natural numbers: Peano's axioms, primitive recursion. | changeset | files |