src/FOL/ROOT
changeset 51558 91f8bed6d0a4
parent 51403 2ff3a5589b05
child 52488 cd65ee49a8ba
equal deleted inserted replaced
51557:4e4b56b7a3a5 51558:91f8bed6d0a4
    37     Classical
    37     Classical
    38     Propositional_Cla
    38     Propositional_Cla
    39     Quantifiers_Cla
    39     Quantifiers_Cla
    40     Miniscope
    40     Miniscope
    41     If
    41     If
    42   theories [document = false] "Locale_Test/Locale_Test"
    42   theories [document = false, skip_proofs = false]
       
    43     "Locale_Test/Locale_Test"
    43   files "document/root.tex"
    44   files "document/root.tex"
    44 
    45