src/HOL/Auth/Guard/Guard_Public.thy
2012-07-15 wenzelm 2012-07-15 more precise imports;
2011-02-18 wenzelm 2011-02-18 standardized headers;
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)
2006-07-26 webertj 2006-07-26 linear arithmetic splits certain operators (e.g. min, max, abs)
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