diff -r 636322bfd057 -r 815ef5848324 src/HOLCF/README.html
--- a/src/HOLCF/README.html Wed May 21 17:11:46 1997 +0200
+++ b/src/HOLCF/README.html Wed May 21 17:13:00 1997 +0200
@@ -1,14 +1,11 @@
-
HOLCF/ReadMe
+HOLCF/README
-HOLCF: A higher order version of LCF based on Isabelle HOL
+HOLCF: A higher-order version of LCF based on Isabelle/HOL
Author: Franz Regensburger
Copyright 1995 Technische Universität München
-Version: 2.0
-Date: 16.08.95
-
-A detailed description (in german) of the entire development can be found in
+A detailed description (in german) of the entire development can be found in:
-A short survey is available in
+A short survey is available in:
-Changes:
-
-
-- 14.10.94
-
- New translation mechanism for continuous infixes
-
-
- 18.05.95
-
- Conversion to curried version of HOL.
-
-
- 28.06.95
-
- The old uncurried version of HOLCF is no longer supported
- in the distribution.
-
-
- 18.08.95
-
- added sections axioms, ops, domain, generated
- and optional 8bit symbolic font support
-
-
-
-