src/HOL/Auth/Guard/Proto.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-04-24 haftmann 2014-04-24 avoid non-standard simp default rule
2011-02-18 wenzelm 2011-02-18 standardized headers;
2011-02-18 wenzelm 2011-02-18 modernized specifications;
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2007-07-11 berghofe 2007-07-11 Adapted to new inductive definition package.
2007-03-09 haftmann 2007-03-09 resolved name clashes
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
2002-09-30 berghofe 2002-09-30 Adapted to new simplifier.
2002-08-21 paulson 2002-08-21 Frederic Blanqui's new "guard" examples