src/HOLCF/HOLCF.thy

--- a/src/HOLCF/HOLCF.thy	Wed Apr 08 20:29:15 2009 +0200
+++ b/src/HOLCF/HOLCF.thy	Fri Apr 10 11:35:21 2009 -0700
@@ -9,13 +9,6 @@
   Domain ConvexPD Algebraic Universal Sum_Cpo Main
 uses
   "holcf_logic.ML"
-  "Tools/cont_consts.ML"
-  "Tools/cont_proc.ML"
-  "Tools/domain/domain_library.ML"
-  "Tools/domain/domain_syntax.ML"
-  "Tools/domain/domain_axioms.ML"
-  "Tools/domain/domain_theorems.ML"
-  "Tools/domain/domain_extender.ML"
   "Tools/adm_tac.ML"
 begin