changeset 70796 | 2739631ac368 |
parent 70781 | a37e2ea96c6d |
child 70853 | c92ae7b0f3f1 |
70795:a90e40118874 | 70796:2739631ac368 |
---|---|
4 description " |
4 description " |
5 Classical Higher-order Logic. |
5 Classical Higher-order Logic. |
6 " |
6 " |
7 options [strict_facts] |
7 options [strict_facts] |
8 directories "../Tools" |
8 directories "../Tools" |
9 theories [dump_checkpoint] |
9 theories |
10 Main (global) |
10 Main (global) |
11 theories |
|
12 Complex_Main (global) |
11 Complex_Main (global) |
13 document_files |
12 document_files |
14 "root.bib" |
13 "root.bib" |
15 "root.tex" |
14 "root.tex" |
16 |
15 |