equal
deleted
inserted
replaced
|
1 session FOL in "." = Pure + |
|
2 name FOL |
|
3 description "First-Order Logic with Natural Deduction" |
|
4 options [proofs = 2] |
|
5 theories FOL |
|
6 files "document/root.tex" |
|
7 |
|
8 session ex = FOL + |
|
9 theories |
|
10 First_Order_Logic |
|
11 Natural_Numbers |
|
12 Intro |
|
13 Nat |
|
14 Nat_Class |
|
15 Foundation |
|
16 Prolog |
|
17 Intuitionistic |
|
18 Propositional_Int |
|
19 Quantifiers_Int |
|
20 Classical |
|
21 Propositional_Cla |
|
22 Quantifiers_Cla |
|
23 Miniscope |
|
24 If |
|
25 theories [document = false] "Locale_Test/Locale_Test" |
|
26 files "document/root.tex" |
|
27 |