src/FOL/ROOT
changeset 48458 09710d6fc3d1
parent 48349 a78e5d399599
child 48470 7483aa690b4f
equal deleted inserted replaced
48457:fd9e28d5a143 48458:09710d6fc3d1
    19     Classical
    19     Classical
    20     Propositional_Cla
    20     Propositional_Cla
    21     Quantifiers_Cla
    21     Quantifiers_Cla
    22     Miniscope
    22     Miniscope
    23     If
    23     If
    24   theories [document = false] "Locale_Test/Locale_Test"
    24   theories [no_document] "Locale_Test/Locale_Test"
    25   files "document/root.tex"
    25   files "document/root.tex"
    26 
    26