--- a/pres/ROOT.ML	Thu Jan 27 11:50:58 2011 +0000
+++ b/pres/ROOT.ML	Thu Jan 27 12:35:06 2011 +0000
@@ -3,4 +3,5 @@
   use_thys ["That_Theory1", "That_Theory2", "That_Theory3"];
 *)
 
-use_thy "ListP";;
+no_document use_thy "ListP";
+no_document use_thys ["../Prefix_subtract", "../Myhill_1"];
\ No newline at end of file