src/HOL/Auth/Event.thy
Fri, 11 Jul 1997 13:26:15 +0200 paulson Moving common declarations and proofs from theories "Shared"
Thu, 26 Sep 1996 12:50:48 +0200 paulson Introduction of "lost" argument
Tue, 03 Sep 1996 17:54:39 +0200 paulson Renaming and simplification
Wed, 21 Aug 1996 13:22:23 +0200 paulson Addition of message NS5
Tue, 20 Aug 1996 18:53:17 +0200 paulson Working version of NS, messages 1-4!
Tue, 20 Aug 1996 17:46:24 +0200 paulson Working version of NS, messages 1-3, WITH INTERLEAVING
Mon, 19 Aug 1996 11:19:55 +0200 paulson Renaming of functions, and tidying
Mon, 29 Jul 1996 18:31:39 +0200 paulson Works up to main theorem, then XXX...X
Fri, 26 Jul 1996 12:19:46 +0200 paulson Auth proofs work up to the XXX...
Thu, 11 Jul 1996 15:30:22 +0200 paulson Added Msg 3; works up to Says_Server_imp_Key_newK
Fri, 28 Jun 1996 15:26:39 +0200 paulson Proving safety properties of authentication protocols
less more (0) tip