src/HOL/Auth/README.html
1997-05-07 paulson 1997-05-07 Description of the Auth directory: security protocols proofs