src/HOL/README
1995-11-17 ago converted README to HTLM; replaced "CHOL" by "HOL"
1995-03-03 ago new version of HOL with curried function application