Fri, 20 Feb 1998 17:56:51 +0100 | nipkow | Congruence rules use == in premises now. | changeset | files |
Fri, 20 Feb 1998 17:56:39 +0100 | nipkow | Congruence rules use == in premises now. | changeset | files |
Fri, 20 Feb 1998 17:33:14 +0100 | oheimb | minor improvements | changeset | files |