--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOLCF/README.html Fri Nov 17 13:22:50 1995 +0100
@@ -0,0 +1,36 @@
+<HTML><HEAD><TITLE>HOLCF/ReadMe</TITLE></HEAD><BODY>
+
+<H2>HOLCF: A higher order version of LCF based on Isabelle HOL</H2>
+
+Author: Franz Regensburger<BR>
+Copyright 1995 Technische Universität München<P>
+
+Version: 2.0<BR>
+Date: 16.08.95<P>
+
+A detailed description of the entire development can be found in
+
+<UL>
+<LI>Franz Regensburger,<BR>
+ HOLCF: Eine konservative Erweiterung von HOL um LCF,<BR>
+ Dissertation, Technische Universität München, 1994
+</UL>
+
+Changes:
+
+<DL>
+<DT>14.10.94
+<DD>New translation mechanism for continuous infixes
+
+<DT>18.05.95
+<DD>Conversion to curried version of HOL.
+
+<DT>28.06.95
+<DD>The old uncurried version of HOLCF is no longer supported
+ in the distribution.
+
+<DT>18.08.95
+<DD>added sections axioms, ops, domain, genertated
+ and 8bit support
+</DL>
+</BODY></HTML>