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