--- a/src/HOLCF/holcf.thy Sat Apr 05 17:03:38 2003 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,13 +0,0 @@
-(* Title: HOLCF/HOLCF.thy
- ID: $Id$
- Author: Franz Regensburger
- Copyright 1993 Technische Universitaet Muenchen
-
-
-Top theory for HOLCF system
-
-*)
-
-HOLCF = Tr2
-
-