| Mon, 19 Aug 1996 11:19:55 +0200 | paulson | Renaming of functions, and tidying | file | diff | annotate |
| Mon, 29 Jul 1996 18:31:39 +0200 | paulson | Works up to main theorem, then XXX...X | file | diff | annotate |
| Fri, 26 Jul 1996 12:19:46 +0200 | paulson | Auth proofs work up to the XXX... | file | diff | annotate |
| Thu, 11 Jul 1996 15:30:22 +0200 | paulson | Added Msg 3; works up to Says_Server_imp_Key_newK | file | diff | annotate |
| Fri, 28 Jun 1996 15:26:39 +0200 | paulson | Proving safety properties of authentication protocols | file | diff | annotate |