diff -r 2c34c69236ce -r 3c214b215f7e ROOT
--- a/ROOT	Sun Apr 06 12:45:54 2014 +0100
+++ b/ROOT	Wed May 28 12:41:09 2014 +0100
@@ -5,7 +5,6 @@
     "~~/src/HOL/Number_Theory/Primes" 
     "~~/src/HOL/Library/Code_Target_Numeral"
     "~~/src/HOL/Library/Code_Abstract_Nat"
-    "Helper/Command/Command"
   theories [quick_and_dirty, document = false] 
     "Intro"
     "First_Steps"
@@ -37,7 +36,6 @@
     "~~/src/HOL/Number_Theory/Primes" 
     "~~/src/HOL/Library/Code_Target_Numeral"
     "~~/src/HOL/Library/Code_Abstract_Nat"
-    "Helper/Command/Command"
   theories [quick_and_dirty, document = true] 
     "Intro"
     "First_Steps"
@@ -60,9 +58,9 @@
     "Recipes/Sat"
     "Recipes/USTypes"
     "Solutions"
-  files 
-    "document/root.bib" 
-    "document/root.tex" 
-    "document/build"
+  document_files 
+    "root.bib" 
+    "root.tex" 
+    "build"