src/HOL/Auth/Guard/README.html
2013-03-12 wenzelm 2013-03-12 removed odd cvs artifacts;
2005-03-07 webertj 2005-03-07 HTML 4.01 Transitional conformity
2004-11-14 webertj 2004-11-14 DOCTYPE declaration added
2002-08-21 paulson 2002-08-21 Frederic Blanqui's new "guard" examples