src/HOL/README.html
Fri, 17 Nov 1995 13:22:50 +0100 clasohm HTML version of README
Fri, 17 Nov 1995 12:40:09 +0100 clasohm converted README to HTLM; replaced "CHOL" by "HOL"
less more (0) tip