src/HOL/Auth/Yahalom_Bad.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2011-11-20 wenzelm 2011-11-20 eliminated obsolete "standard";
2010-07-22 wenzelm 2010-07-22 updated some headers;
2007-07-11 berghofe 2007-07-11 Adapted to new inductive definition package.
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2003-09-26 paulson 2003-09-26 Conversion of all main protocols from "Shared" to "Public". Removal of Key_supply_ax: modifications to possibility theorems. Improved presentation.
2003-09-23 paulson 2003-09-23 Removal of the Key_supply axiom (affects many possbility proofs) and minor changes
2003-05-05 paulson 2003-05-05 improved presentation of HOL/Auth theories
2003-04-26 paulson 2003-04-26 converting more HOL-Auth to new-style theories
2002-08-17 paulson 2002-08-17 tidying of Isar scripts
2001-10-03 wenzelm 2001-10-03 tuned parentheses in relational expressions;
2001-04-12 paulson 2001-04-12 converted many HOL/Auth theories to Isar scripts
2001-02-27 paulson 2001-02-27 Some X-symbols for <notin>, <noteq>, <forall>, <exists> Streamlining of Yahalom proofs Removal of redundant proofs
1999-03-18 paulson 1999-03-18 added new theory Yahalom_Bad