src/HOL/Auth/ROOT.ML
Mon, 21 Sep 2009 15:33:40 +0200 haftmann added session entry point theories
Tue, 02 Sep 2008 22:37:20 +0200 nipkow Replaced Library/NatPair by Nat_Int_Bij.
Tue, 31 Jul 2007 23:23:28 +0200 wenzelm simultaneous use_thys;
Wed, 01 Feb 2006 15:22:02 +0100 paulson new and updated protocol proofs by Giamp Bella
Wed, 14 Sep 2005 23:14:57 +0200 wenzelm renamed Guard/NS_Public, Guard/OtwayRees, Guard/Yahalom.thy to avoid clash with plain Auth versions;
Fri, 07 May 2004 20:32:40 +0200 wenzelm tuned document;
Sun, 21 Dec 2003 18:39:27 +0100 paulson tidying of HOL/Auth esp Guard lemmas
Tue, 12 Aug 2003 13:35:03 +0200 paulson ZhouGollmann: new example (fair non-repudiation protocol)
Fri, 25 Apr 2003 11:18:14 +0200 paulson Changes required by the certified email protocol
Fri, 30 Aug 2002 16:42:45 +0200 paulson removal of blast.overloaded
Wed, 21 Aug 2002 15:53:30 +0200 paulson Frederic Blanqui's new "guard" examples
Tue, 30 May 2000 16:08:38 +0200 wenzelm cleaned up;
Tue, 17 Aug 1999 22:14:02 +0200 wenzelm HOL_quantifiers;
Tue, 20 Apr 1999 14:33:48 +0200 paulson addition of Kerberos IV example
Thu, 18 Mar 1999 10:41:33 +0100 paulson added new theory Yahalom_Bad
Thu, 11 Mar 1999 13:20:35 +0100 wenzelm removed foo_build_completed -- now handled by session management (via usedir);
Fri, 21 Aug 1998 16:14:34 +0200 paulson Tidying
Fri, 19 Jun 1998 10:34:33 +0200 paulson New example Kerberos_BAN by G Bella
Fri, 19 Dec 1997 10:28:33 +0100 wenzelm tuned;
Tue, 01 Jul 1997 17:32:12 +0200 paulson New theory TLS
Thu, 15 May 1997 15:51:47 +0200 oheimb renamed unsafe_addss to addss
Wed, 07 May 1997 13:01:43 +0200 paulson Conversion to use blast_tac (with other improvements)
Mon, 20 Jan 1997 10:27:45 +0100 paulson Now requests runtimes of all theories
Thu, 19 Dec 1996 11:54:19 +0100 paulson Addition of Auth/Recur
Thu, 05 Dec 1996 19:01:49 +0100 paulson Loads new public-key examples
Thu, 28 Nov 1996 15:56:04 +0100 paulson Addition of Woo-Lam protocol
Thu, 24 Oct 1996 10:33:27 +0200 paulson Two new protocol variants
Fri, 11 Oct 1996 10:52:54 +0200 paulson Addition of OtwayRees_AN
Fri, 13 Sep 1996 13:16:57 +0200 paulson Addition of Yahalom protocol
Tue, 10 Sep 1996 11:35:23 +0200 paulson Now runs all Auth proofs
Tue, 03 Sep 1996 18:30:15 +0200 paulson ROOT file for Auth directory
less more (0) tip