src/HOL/Auth/Guard/Analz.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2011-12-28 wenzelm 2011-12-28 reverted some changes for set->predicate transition, according to "hg log -u berghofe -r Isabelle2007:Isabelle2008"; tuned proofs;
2011-02-18 wenzelm 2011-02-18 standardized headers;
2010-09-08 paulson 2010-09-08 tidied using inductive_simps
2008-05-07 berghofe 2008-05-07 Instantiated parts_insert_substD to avoid problems with HO unification
2007-07-11 berghofe 2007-07-11 Adapted to new inductive definition package.
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
2002-08-21 paulson 2002-08-21 Frederic Blanqui's new "guard" examples