src/HOLCF/README.html
changeset 1410 324aa8134639
parent 1341 69fec018854c
child 2394 91d8abf108be
--- a/src/HOLCF/README.html	Mon Dec 18 13:09:17 1995 +0100
+++ b/src/HOLCF/README.html	Wed Dec 20 16:28:51 1995 +0100
@@ -1,6 +1,6 @@
 <HTML><HEAD><TITLE>HOLCF/ReadMe</TITLE></HEAD><BODY>
 
-<H2>HOLCF: A higher order version of LCF based on Isabelle HOL</H2>
+<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>
@@ -8,12 +8,19 @@
 Version: 2.0<BR>
 Date: 16.08.95<P>
 
-A detailed description of the entire development can be found in 
+A detailed description (in german) 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
+  <li> <A HREF="http://www4.informatik.tu-muenchen.de/papers/Diss_Regensbu.ps.gz"> HOLCF: eine konservative Erweiterung von HOL um LCF</A>, <br>
+        <A HREF="http://www4.informatik.tu-muenchen.de/~regensbu/">
+        Franz Regenburger</A>. <br>
+        Dissertation Technische Universit&auml;t M&uuml;nchen. <BR>
+        Year: 1994.
+</UL>
+
+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:
@@ -30,7 +37,10 @@
     in the distribution.
 
 <DT>18.08.95
-<DD>added sections axioms, ops, domain, genertated
-    and 8bit support
+<DD>added sections axioms, ops, domain, generated
+    and optional 8bit support
 </DL>
 </BODY></HTML>
+
+
+