Mon, 29 Sep 1997 11:37:02 +0200 | paulson | Step_tac -> Safe_tac | changeset | files |
Mon, 29 Sep 1997 11:36:44 +0200 | paulson | Tidied proof of r_comp_rtrancl_eq | changeset | files |
Mon, 29 Sep 1997 11:32:25 +0200 | paulson | qed_spec_mp, normalize_thm, etc. copied in from HOL.ML | changeset | files |
Mon, 29 Sep 1997 11:31:56 +0200 | paulson | Step_tac -> Safe_tac | changeset | files |
Mon, 29 Sep 1997 11:31:13 +0200 | paulson | Safe_tac, Safe_step_tac, and minor corrections including \tt -> \texttt | changeset | files |
Mon, 29 Sep 1997 11:28:23 +0200 | paulson | Safe_tac; qed_spec_mp in FOL | changeset | files |
Fri, 26 Sep 1997 10:21:14 +0200 | paulson | Minor tidying to use Clarify_tac, etc. | changeset | files |