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 |
Tue, 18 Jun 1996 16:37:47 +0200 | paulson | Addition of setOfList | changeset | files |
Tue, 18 Jun 1996 16:36:04 +0200 | paulson | Addition of Safe_step_tac | changeset | files |
Tue, 18 Jun 1996 16:27:04 +0200 | paulson | Translation infixes <->, etc., no longer available at top-level | changeset | files |
Tue, 18 Jun 1996 16:20:30 +0200 | paulson | Addition of setOfList | changeset | files |