src/HOLCF/ex/ROOT.ML

--- a/src/HOLCF/ex/ROOT.ML	Wed May 19 16:28:24 2010 -0700
+++ b/src/HOLCF/ex/ROOT.ML	Wed May 19 17:01:07 2010 -0700
@@ -4,7 +4,6 @@
 *)
 
 use_thys ["Dnat", "Stream", "Dagstuhl", "Focus_ex", "Fix2", "Hoare",
-  "Loop", "Fixrec_ex", "Powerdomain_ex", "Domain_ex", "Domain_Proofs",
+  "Loop", "Powerdomain_ex", "Domain_Proofs",
   "Letrec",
-  "Strict_Fun",
-  "New_Domain"];
+  "Strict_Fun"];