--- a/pres/ROOT.ML	Thu Feb 03 09:54:19 2011 +0000
+++ b/pres/ROOT.ML	Thu Feb 03 12:00:06 2011 +0000
@@ -3,5 +3,5 @@
   use_thys ["That_Theory1", "That_Theory2", "That_Theory3"];
 *)
 
-no_document use_thy "ListP";
-no_document use_thys ["../Prefix_subtract", "../Myhill_1"];
\ No newline at end of file
+use_thy "ListP";
+use_thys ["../Prefix_subtract", "../Myhill_1", "../Myhill_2"];