src/HOL/Auth/Event.thy
Mon, 16 Jun 2008 17:54:35 +0200 wenzelm eliminated OldGoals.inst;
Wed, 11 Jun 2008 18:02:25 +0200 wenzelm OldGoals.inst;
Wed, 01 Aug 2007 20:25:16 +0200 wenzelm tuned ML bindings (for multithreading);
Wed, 29 Nov 2006 15:44:51 +0100 wenzelm simplified method setup;
Fri, 17 Nov 2006 02:20:03 +0100 wenzelm more robust syntax for definition/abbreviation/notation;
Thu, 28 Sep 2006 23:42:35 +0200 wenzelm replaced syntax/translations by abbreviation;
Wed, 04 Jan 2006 16:13:53 +0100 paulson a few more named lemmas
Wed, 26 Oct 2005 16:31:53 +0200 paulson tidied away duplicate thm
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Tue, 23 Sep 2003 15:41:33 +0200 paulson Removal of the Key_supply axiom (affects many possbility proofs) and minor
Thu, 24 Jul 2003 16:36:29 +0200 paulson Tidying and replacement of some axioms by specifications
Mon, 05 May 2003 18:22:01 +0200 paulson improved presentation of HOL/Auth theories
Tue, 29 Apr 2003 12:36:49 +0200 paulson tweaks
Sat, 26 Apr 2003 12:38:42 +0200 paulson converting more HOL-Auth to new-style theories
Fri, 25 Apr 2003 11:18:14 +0200 paulson Changes required by the certified email protocol
Mon, 06 Aug 2001 13:12:06 +0200 paulson three new theorems
Sat, 19 May 2001 12:19:23 +0200 paulson spelling check
Mon, 05 Mar 2001 12:31:31 +0100 paulson a few basic X-symbols
Fri, 02 Mar 2001 13:18:31 +0100 paulson conversion of Message.thy to Isar format
Tue, 13 Feb 2001 13:16:27 +0100 paulson partial conversion to Isar script style
Thu, 18 Mar 1999 10:41:00 +0100 paulson exchanged the order of Gets and Notes in datatype event
Tue, 09 Mar 1999 11:01:39 +0100 paulson Added Bella's "Gets" model for Otway_Rees. Also affects some other theories.
Fri, 24 Jul 1998 13:03:20 +0200 berghofe Adapted to new datatype package.
Thu, 18 Sep 1997 13:24:04 +0200 paulson Global change: lost->bad and sees Spy->spies
Wed, 17 Sep 1997 16:37:27 +0200 paulson Spy can see Notes of the compromised agents
Mon, 14 Jul 1997 12:47:21 +0200 paulson Changing "lost" from a parameter of protocol definitions to a constant.
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