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 |