changeset 51397 | 03b586ee5930 |
parent 48738 | f8c1a5b9488f |
child 51403 | 2ff3a5589b05 |
51390:1dff81cf425b | 51397:03b586ee5930 |
---|---|
1 chapter FOL |
|
2 |
|
1 session FOL = Pure + |
3 session FOL = Pure + |
2 description "First-Order Logic with Natural Deduction" |
4 description "First-Order Logic with Natural Deduction" |
3 options [proofs = 2] |
5 options [proofs = 2] |
4 theories FOL |
6 theories FOL |
5 files "document/root.tex" |
7 files "document/root.tex" |