| Thu, 24 Oct 1996 10:36:29 +0200 | paulson | New theorem Crypt_Spy_analz_lost; improvements to spy_analz_tac; ex_strip_tac | changeset | files |
| Thu, 24 Oct 1996 10:33:27 +0200 | paulson | Two new protocol variants | changeset | files |
| Thu, 24 Oct 1996 10:31:17 +0200 | paulson | Moved ex_strip_tac to the common part | changeset | files |
| Thu, 24 Oct 1996 10:30:43 +0200 | paulson | Removal of unused predicate isSpy | changeset | files |
| Thu, 24 Oct 1996 10:30:17 +0200 | paulson | Handles pathnames in ISABELLECOMP | changeset | files |
| Mon, 21 Oct 1996 11:37:21 +0200 | paulson | Mentions the possibility of pathnames in ISABELLECOMP; | changeset | files |
| Mon, 21 Oct 1996 11:36:57 +0200 | paulson | Creates a bigger main window | changeset | files |
| Mon, 21 Oct 1996 11:18:34 +0200 | paulson | ISABELLECOMP may now have a leading pathname | changeset | files |