--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOLCF/README Mon Oct 10 12:57:23 1994 +0100
@@ -0,0 +1,15 @@
+HOLCF: A higher order version of LCF based on Isabelle HOL
+==========================================================
+
+Author: Franz Regensburger
+Copyright 1993,1994 Technische Universitaet Muenchen
+
+Version: 1.4
+Date: 06.10.94
+
+A detailed description of the entire development can be found in
+
+[Franz Regensburger] HOLCF: Eine konservative Erweiterung von HOL um LCF,
+ Dissertation, Technische Universit"at M"unchen, 1994
+
+