| Mon, 20 Mar 2000 18:45:28 +0100 | wenzelm | improved support for emulating tactic scripts; | changeset | files |
| Mon, 20 Mar 2000 18:43:37 +0100 | wenzelm | res_inst_tac etc.; | changeset | files |
| Mon, 20 Mar 2000 18:43:20 +0100 | wenzelm | goalspec; | changeset | files |
| Mon, 20 Mar 2000 18:43:05 +0100 | wenzelm | case_tac, induct_tac; | changeset | files |
| Mon, 20 Mar 2000 18:42:50 +0100 | wenzelm | tactic emulation; | changeset | files |
| Mon, 20 Mar 2000 18:25:35 +0100 | paulson | tidied | changeset | files |
| Mon, 20 Mar 2000 18:24:11 +0100 | paulson | the perm_rules variable is no longer needed | changeset | files |