diff -r 717bd79b976f -r f62f9a75f685 src/HOLCF/holcf.ML
--- a/src/HOLCF/holcf.ML	Sat Apr 05 17:03:38 2003 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,20 +0,0 @@
-(*  Title: 	HOLCF/HOLCF.ML
-    ID:         $Id$
-    Author: 	Franz Regensburger
-    Copyright   1993 Technische Universitaet Muenchen
-*)
-
-open HOLCF;
-
-val HOLCF_ss = ccc1_ss 
-		addsimps one_when 
-		addsimps dist_less_one
-		addsimps dist_eq_one 
-		addsimps dist_less_tr
-		addsimps dist_eq_tr
-		addsimps tr_when
-		addsimps andalso_thms
-		addsimps orelse_thms
-		addsimps ifte_thms;
-
-