--- a/Journal/ROOT.ML	Thu Jun 02 16:44:35 2011 +0000
+++ b/Journal/ROOT.ML	Thu Jun 02 20:02:16 2011 +0000
@@ -1,6 +1,3 @@
-no_document use_thy "../Myhill";
-no_document use_thy "~~/src/HOL/Library/LaTeXsugar";
-no_document use_thy "../Derivs";
 no_document use_thy "../Closure";
 
 use_thy "Paper"
\ No newline at end of file