src/HOLCF/README
changeset 1410 324aa8134639
parent 1274 ea0668a1c0ba
--- a/src/HOLCF/README	Mon Dec 18 13:09:17 1995 +0100
+++ b/src/HOLCF/README	Wed Dec 20 16:28:51 1995 +0100
@@ -19,6 +19,6 @@
 28.06.95 The old uncurried version of HOLCF is no longer supported
 	 in the distribution.
  
-18.08.95 added sections axioms, ops, domain, genertated
-	 and 8bit support
+18.08.95 added sections axioms, ops, domain, generated
+	 and optional 8bit support