Mon, 19 Jul 1999 15:32:14 +0200 | paulson | examples of arithmetic on the naturals | changeset | files |
Mon, 19 Jul 1999 15:31:42 +0200 | paulson | deleted a reference to "nat", now erroneous because "nat" is a function | changeset | files |
Mon, 19 Jul 1999 15:30:59 +0200 | paulson | many new laws about div and mod | changeset | files |
Mon, 19 Jul 1999 15:29:30 +0200 | paulson | new theorem zless_zero_nat | changeset | files |
Mon, 19 Jul 1999 15:29:01 +0200 | paulson | removal of rewrites for Suc(Suc(Suc...))) | changeset | files |
Mon, 19 Jul 1999 15:27:34 +0200 | paulson | NatBin: binary arithmetic for the naturals | changeset | files |