--- a/Paper/ROOT.ML	Wed Jan 26 22:51:51 2011 +0000
+++ b/Paper/ROOT.ML	Wed Jan 26 22:58:24 2011 +0000
@@ -1,2 +1,4 @@
+no_document use_thy "../Myhill";
 no_document use_thy "LaTeXsugar";
+
 use_thy "Paper"
\ No newline at end of file