src/HOL/Auth/ROOT.ML
1997-07-01 paulson 1997-07-01 New theory TLS
1997-05-15 oheimb 1997-05-15 renamed unsafe_addss to addss
1997-05-07 paulson 1997-05-07 Conversion to use blast_tac (with other improvements)
1997-01-20 paulson 1997-01-20 Now requests runtimes of all theories
1996-12-19 paulson 1996-12-19 Addition of Auth/Recur
1996-12-05 paulson 1996-12-05 Loads new public-key examples
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