Thu, 20 Jun 1996 10:27:29 +0200 | paulson | Restored Addsimps [Suc_le_lessD], as it cannot be added | changeset | files |
Thu, 20 Jun 1996 10:26:13 +0200 | paulson | Corrected comment | changeset | files |
Tue, 18 Jun 1996 16:38:48 +0200 | paulson | New rewrites for vacuous quantification | changeset | files |