| changeset 48336 | 3c55bfad22eb |
| parent 48280 | 7d86239986c2 |
| child 48349 | a78e5d399599 |
| 48335:2f923e994056 | 48336:3c55bfad22eb |
|---|---|
1 session FOL in "." = Pure + |
1 session FOL! in "." = Pure + |
2 name FOL |
|
3 description "First-Order Logic with Natural Deduction" |
2 description "First-Order Logic with Natural Deduction" |
4 options [proofs = 2] |
3 options [proofs = 2] |
5 theories FOL |
4 theories FOL |
6 files "document/root.tex" |
5 files "document/root.tex" |
7 |
6 |