src/HOL/Auth/README.html
Mon, 07 Mar 2005 19:17:07 +0100 webertj HTML 4.01 Transitional conformity
Sun, 14 Nov 2004 01:40:27 +0100 webertj DOCTYPE declaration added
Tue, 15 Jun 2004 10:47:08 +0200 paulson fixed bad link
Mon, 12 May 2003 12:26:50 +0200 paulson updated text
Wed, 21 Aug 2002 15:53:30 +0200 paulson Frederic Blanqui's new "guard" examples
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
Mon, 02 Feb 1998 12:56:24 +0100 paulson fixed WWW links
Wed, 07 May 1997 12:49:02 +0200 paulson Description of the Auth directory: security protocols proofs
less more (0) tip