src/HOL/Library/README.html
2011-03-22 blanchet 2011-03-22 remove lie from documentation
2009-07-09 wenzelm 2009-07-09 removed obsolete CVS Ids;
2008-10-04 wenzelm 2008-10-04 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
2008-03-26 huffman 2008-03-26 fix spelling errors
2005-03-07 webertj 2005-03-07 HTML 4.01 Transitional conformity
2004-11-14 webertj 2004-11-14 DOCTYPE declaration added
2000-10-25 wenzelm 2000-10-25 add \<le> to list of "good" symbols;
2000-10-20 wenzelm 2000-10-20 tuned;
2000-10-18 wenzelm 2000-10-18 "The Supplemental Isabelle/HOL Library";