| Mon, 12 Nov 2001 10:56:38 +0100 | paulson | new-style numerals without leading #, along with generic 0 and 1 | changeset | files |
| Mon, 12 Nov 2001 10:44:55 +0100 | berghofe | congc now returns None if congruence rule has no effect. | changeset | files |
| Mon, 12 Nov 2001 10:43:25 +0100 | berghofe | Renamed some bound variables due to changes in simplifier. | changeset | files |