Mon, 29 Sep 1997 11:45:52 +0200 | paulson | Default simpset tactics now dereference "simpset" | changeset | files |
Mon, 29 Sep 1997 11:44:56 +0200 | paulson | Added Safe_tac; all other default claset tactics now dereference "claset" | changeset | files |
Mon, 29 Sep 1997 11:42:15 +0200 | paulson | fast_tac HOL_cs -> Fast_tac, etc. | changeset | files |