| Mon, 29 Sep 1997 12:13:43 +0200 | paulson | Step_tac -> Safe_tac | changeset | files |
| Mon, 29 Sep 1997 11:56:04 +0200 | paulson | Much tidying including step_tac -> clarify_tac or safe_tac; sometimes | changeset | files |
| Mon, 29 Sep 1997 11:52:25 +0200 | paulson | Step_tac -> Safe_tac | changeset | files |
| Mon, 29 Sep 1997 11:51:52 +0200 | paulson | Much tidying including "qed" instead of result(), and even qed_spec_mp, | changeset | files |
| Mon, 29 Sep 1997 11:51:09 +0200 | paulson | Previously loaded the WRONG THEORY, ignoring Confluence... | changeset | files |
| Mon, 29 Sep 1997 11:49:33 +0200 | paulson | Now using qed_spec_mp | changeset | files |
| Mon, 29 Sep 1997 11:48:48 +0200 | paulson | result() -> qed; Step_tac -> Safe_tac | changeset | files |