src/HOL/Auth/ROOT.ML
1996-11-28 paulson 1996-11-28 Addition of Woo-Lam protocol
1996-10-24 paulson 1996-10-24 Two new protocol variants
1996-10-11 paulson 1996-10-11 Addition of OtwayRees_AN
1996-09-13 paulson 1996-09-13 Addition of Yahalom protocol
1996-09-10 paulson 1996-09-10 Now runs all Auth proofs
1996-09-03 paulson 1996-09-03 ROOT file for Auth directory