src/HOL/Auth/ROOT.ML
2003-08-12 paulson 2003-08-12 ZhouGollmann: new example (fair non-repudiation protocol)
2003-04-25 paulson 2003-04-25 Changes required by the certified email protocol Public-key model now provides separate signature/encryption keys and also long-term symmetric keys.
2002-08-30 paulson 2002-08-30 removal of blast.overloaded
2002-08-21 paulson 2002-08-21 Frederic Blanqui's new "guard" examples
2000-05-30 wenzelm 2000-05-30 cleaned up;
1999-08-17 wenzelm 1999-08-17 HOL_quantifiers;
1999-04-20 paulson 1999-04-20 addition of Kerberos IV example
1999-03-18 paulson 1999-03-18 added new theory Yahalom_Bad
1999-03-11 wenzelm 1999-03-11 removed foo_build_completed -- now handled by session management (via usedir);
1998-08-21 paulson 1998-08-21 Tidying
1998-06-19 paulson 1998-06-19 New example Kerberos_BAN by G Bella
1997-12-19 wenzelm 1997-12-19 tuned;
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