2007-07-11 berghofe 2007-07-11 Adapted to new inductive definition package.
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-09-28 wenzelm 2006-09-28 replaced syntax/translations by abbreviation;
2005-09-28 paulson 2005-09-28 streamlined theory; conformance to recent publication
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-07-20 paulson 2004-07-20 minor tweaks to go with the new version of the Accountability paper
2004-05-11 paulson 2004-05-11 removal of prime characters
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-08-12 paulson 2003-08-12 ZhouGollmann: new example (fair non-repudiation protocol)
2003-05-05 paulson 2003-05-05 improved presentation of HOL/Auth theories
2003-04-29 paulson 2003-04-29 better guarantees
2003-04-26 paulson 2003-04-26 converting more HOL-Auth to new-style theories
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.