--- a/Journal/ROOT.ML	Tue Aug 02 15:27:37 2011 +0000
+++ b/Journal/ROOT.ML	Wed Aug 03 00:52:41 2011 +0000
@@ -1,3 +1,4 @@
 no_document use_thy "../Closures";
+no_document use_thy "../Attic/Prefix_subtract";
 
 use_thy "Paper"
\ No newline at end of file