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