src/HOL/Auth/README.html
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