--- a/tphols-2011/ROOT.ML	Wed Jan 26 23:39:42 2011 +0000
+++ b/tphols-2011/ROOT.ML	Thu Jan 27 00:51:46 2011 +0000
@@ -3,6 +3,6 @@
   use_thys ["That_Theory1", "That_Theory2", "That_Theory3"];
 *)
         
-no_document use_thys ["../Prefix_subtract"];
+no_document use_thys ["../Prefix_subtract", "../Prelude"];
 
 use_thys ["../Myhill"];