| Mon, 29 Sep 1997 11:48:48 +0200 | paulson | result() -> qed; Step_tac -> Safe_tac | changeset | files |
| Mon, 29 Sep 1997 11:47:01 +0200 | paulson | Step_tac -> Safe_tac | changeset | files |
| Mon, 29 Sep 1997 11:46:33 +0200 | paulson | Renamed XA, XB to PA, PB and removed the certificate from Client Verify | changeset | files |
| 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 |
| Mon, 29 Sep 1997 11:40:03 +0200 | paulson | result() -> qed | changeset | files |