| changeset 20450 | 725a91601ed1 |
| parent 20437 | 0eb5e30fd620 |
| child 20451 | 27ea2ba48fa3 |
| 20449:f8a7a8236c68 | 20450:725a91601ed1 |
|---|---|
1 |
1 |
2 (* $Id$ *) |
2 (* $Id$ *) |
3 |
3 |
4 theory logic imports base begin |
4 theory logic imports base begin |
5 |
5 |
6 chapter {* Pure logic *} |
6 chapter {* Primitive logic *} |
7 |
7 |
8 section {* Syntax *} |
8 section {* Syntax *} |
9 |
9 |
10 subsection {* Variable names *} |
10 subsection {* Variable names *} |
11 |
11 |