src/HOL/Auth/Guard/P1.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2011-02-18 wenzelm 2011-02-18 standardized headers;
2010-09-08 paulson 2010-09-08 tidied using inductive_simps
2010-03-01 krauss 2010-03-01 killed recdefs in HOL-Auth
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.
2005-10-07 nipkow 2005-10-07 changes due to new neq_simproc in simpdata.ML
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