--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOLCF/holcf.thy Wed Jan 19 17:35:01 1994 +0100
@@ -0,0 +1,13 @@
+(* Title: HOLCF/HOLCF.thy
+ ID: $Id$
+ Author: Franz Regensburger
+ Copyright 1993 Technische Universitaet Muenchen
+
+
+Top theory for HOLCF system
+
+*)
+
+HOLCF = Tr2
+
+