src/HOL/Auth/KerberosIV_Gets.thy
2015-12-10 wenzelm 2015-12-10 isabelle update_cartouches -c -t;
2015-03-25 wenzelm 2015-03-25 prefer local fixes;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2011-02-18 wenzelm 2011-02-18 modernized specifications;
2010-07-22 wenzelm 2010-07-22 updated some headers;
2010-07-13 paulson 2010-07-13 Fixed syntax and tidied some proofs
2010-05-12 wenzelm 2010-05-12 modernized specifications;
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;
2008-03-17 wenzelm 2008-03-17 renamed K3_imp_Gets variant to K3_imp_Gets_evs;
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;
2006-02-01 paulson 2006-02-01 new and updated protocol proofs by Giamp Bella