src/HOLCF/README.html
changeset 3279 815ef5848324
parent 2394 91d8abf108be
child 6034 96ac04a17c56
--- 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 @@
-<HTML><HEAD><TITLE>HOLCF/ReadMe</TITLE></HEAD><BODY>
+<HTML><HEAD><TITLE>HOLCF/README</TITLE></HEAD><BODY>
 
-<H3>HOLCF: A higher order version of LCF based on Isabelle HOL</H3>
+<H3>HOLCF: A higher-order version of LCF based on Isabelle/HOL</H3>
 
 Author:     Franz Regensburger<BR>
 Copyright   1995 Technische Universität München<P>
 
-Version: 2.0<BR>
-Date: 16.08.95<P>
-
-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:
 
 <UL>
   <li> <A HREF="http://www4.informatik.tu-muenchen.de/papers/Diss_Regensbu.ps.gz"> HOLCF: eine konservative Erweiterung von HOL um LCF</A>, <br>
@@ -18,29 +15,9 @@
         Year: 1994.
 </UL>
 
-A short survey is available in
+A short survey is available in:
 <UL>
 <li><A HREF="http://www4.informatik.tu-muenchen.de/papers/Regensburger_HOLT1995.ps.gz">HOLCF: Higher Order Logic of Computable Functions</A> <br>
 </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, generated
-    and optional 8bit symbolic font support
-</DL>
 </BODY></HTML>
-
-
-