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