| changeset 48470 | 7483aa690b4f |
| parent 48458 | 09710d6fc3d1 |
| child 48487 | 94a9650f79fb |
| 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 |