changeset 51558 | 91f8bed6d0a4 |
parent 51403 | 2ff3a5589b05 |
child 52488 | cd65ee49a8ba |
--- a/src/FOL/ROOT Wed Mar 27 17:58:07 2013 +0100 +++ b/src/FOL/ROOT Wed Mar 27 18:04:21 2013 +0100 @@ -39,6 +39,7 @@ Quantifiers_Cla Miniscope If - theories [document = false] "Locale_Test/Locale_Test" + theories [document = false, skip_proofs = false] + "Locale_Test/Locale_Test" files "document/root.tex"