src/HOL/README.html
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"