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