# HG changeset patch
# User nipkow
# Date 781790243 -3600
# Node ID e685b5411617eb83f1ae7e264afa0a0d937a5bfd
# Parent  68fbcdba50d2f670600ab8b4b36f90d011b53b46
README file

diff -r 68fbcdba50d2 -r e685b5411617 src/HOLCF/README
--- /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
+
+