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 |