diff -r fd9e28d5a143 -r 09710d6fc3d1 src/FOL/ROOT
--- a/src/FOL/ROOT	Tue Jul 24 00:29:36 2012 +0200
+++ b/src/FOL/ROOT	Tue Jul 24 10:11:49 2012 +0200
@@ -21,6 +21,6 @@
     Quantifiers_Cla
     Miniscope
     If
-  theories [document = false] "Locale_Test/Locale_Test"
+  theories [no_document] "Locale_Test/Locale_Test"
   files "document/root.tex"