src/HOL/Auth/ZhouGollmann.thy
2015-12-28 wenzelm 2015-12-28 more symbols;
2015-12-10 wenzelm 2015-12-10 isabelle update_cartouches -c -t;
2014-06-11 Thomas Sewell 2014-06-11 Hypsubst preserves equality hypotheses Fixes included for various theories affected by this change.
2014-03-13 nipkow 2014-03-13 enhanced simplifier solver for preconditions of rewrite rule, can now deal with conjunctions
2010-07-22 wenzelm 2010-07-22 updated some headers;
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
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-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-07-15 paulson 2004-07-15 redefining sumr to be a translation to setsum
2004-05-12 paulson 2004-05-12 simpilified and strengthened proofs
2004-05-11 paulson 2004-05-11 broken no longer includes TTP, and other minor changes
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-08-13 paulson 2003-08-13 possibility proof!
2003-08-12 paulson 2003-08-12 ZhouGollmann: new example (fair non-repudiation protocol)