src/HOL/README.html
2010-05-12 wenzelm 2010-05-12 removed obsolete CVS Ids;
2009-10-20 wenzelm 2009-10-20 modernized session SET_Protocol;
2009-10-20 wenzelm 2009-10-20 modernized session Isar_Examples;
2009-06-24 wenzelm 2009-06-24 standard naming conventions for session and theories;
2005-05-03 nipkow 2005-05-03 *** empty log message ***
2005-05-02 nipkow 2005-05-02 *** empty log message ***
2005-03-07 webertj 2005-03-07 HTML 4.01 Transitional conformity
2004-11-14 webertj 2004-11-14 DOCTYPE declaration added
2004-04-12 kleing 2004-04-12 remove MiniML and Lex (moved to AFP)
2003-05-13 kleing 2003-05-13 HOL-Real -> HOL-Complex
2003-03-10 paulson 2003-03-10 spelling
2000-10-18 wenzelm 2000-10-18 tuned;
2000-10-06 wenzelm 2000-10-06 updated, improved;
2000-09-02 wenzelm 2000-09-02 HOL/Lambda: converted into new-style theory and document;
1999-10-30 wenzelm 1999-10-30 tuned;
1999-10-04 wenzelm 1999-10-04 added BVC;
1999-09-30 wenzelm 1999-09-30 Real/HahnBanach;
1999-08-20 wenzelm 1999-08-20 AxClasses, Isar_examples;
1999-08-19 nipkow 1999-08-19 new entriues.
1999-08-19 paulson 1999-08-19 updated
1998-02-12 wenzelm 1998-02-12 tuned;
1997-05-21 wenzelm 1997-05-21 tuned all READMEs;
1997-05-07 paulson 1997-05-07 Moved induction examples to directory Induct
1996-10-09 paulson 1996-10-09 Fuller description of examples
1995-11-17 clasohm 1995-11-17 HTML version of README
1995-11-17 clasohm 1995-11-17 converted README to HTLM; replaced "CHOL" by "HOL"