src/HOL/Auth/README.html
2005-03-07 webertj 2005-03-07 HTML 4.01 Transitional conformity
2004-11-14 webertj 2004-11-14 DOCTYPE declaration added
2004-06-15 paulson 2004-06-15 fixed bad link
2003-05-12 paulson 2003-05-12 updated text
2002-08-21 paulson 2002-08-21 Frederic Blanqui's new "guard" examples
1999-04-20 paulson 1999-04-20 addition of Kerberos IV example
1999-03-18 paulson 1999-03-18 added new theory Yahalom_Bad
1998-02-02 paulson 1998-02-02 fixed WWW links
1997-05-07 paulson 1997-05-07 Description of the Auth directory: security protocols proofs