| 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 |
| Mon, 12 Nov 2001 10:39:42 +0100 | berghofe | Fixed proof depending on strange behaviour of rename_bvs. | changeset | files |
| Mon, 12 Nov 2001 10:37:36 +0100 | berghofe | Renamed some bound variables due to changes in simplifier. | changeset | files |