Mon, 16 Dec 1996 11:13:44 +0100 | paulson | New tactics: prove_unique_tac and analz_induct_tac | changeset | files |
Mon, 16 Dec 1996 11:08:11 +0100 | paulson | New tactic: prove_unique_tac | changeset | files |
Mon, 16 Dec 1996 10:50:08 +0100 | paulson | Removed a rogue TAB | changeset | files |