src/HOL/Auth/Guard/Guard_NS_Public.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2012-07-15 wenzelm 2012-07-15 tuned proof;
2011-02-18 wenzelm 2011-02-18 standardized 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-09-14 wenzelm 2005-09-14 renamed Guard/NS_Public, Guard/OtwayRees, Guard/Yahalom.thy to avoid clash with plain Auth versions;