src/FOL/ROOT
changeset 48470 7483aa690b4f
parent 48458 09710d6fc3d1
child 48487 94a9650f79fb
equal deleted inserted replaced
48469:826a771cff33 48470:7483aa690b4f
    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 [no_document] "Locale_Test/Locale_Test"
    24   theories [document = false] "Locale_Test/Locale_Test"
    25   files "document/root.tex"
    25   files "document/root.tex"
    26 
    26