src/HOL/Auth/ROOT.ML
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