diff -r e1f6cd9f682e -r 5ef75ff3baeb src/HOLCF/ROOT.ML
--- a/src/HOLCF/ROOT.ML	Thu Mar 24 13:25:12 1994 +0100
+++ b/src/HOLCF/ROOT.ML	Thu Mar 24 13:36:34 1994 +0100
@@ -17,7 +17,10 @@
 
 use_thy "Holcfb";
 use_thy "Void";
+
+use_thy "Porder0";
 use_thy "Porder";
+
 use_thy "Pcpo";
 
 use_thy "Fun1";
@@ -61,6 +64,8 @@
 use_thy "Dnat2";
 use_thy "Stream";
 use_thy "Stream2";
+use_thy "Dlist";
+
 
 use "../Pure/install_pp.ML";
 print_depth 8;