src/FOL/ROOT
changeset 48458 09710d6fc3d1
parent 48349 a78e5d399599
child 48470 7483aa690b4f
--- 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"