| changeset 20472 | e993073eda4c |
| parent 20470 | c839b38a1f32 |
| child 20477 | e623b0e30541 |
| 20471:ffafbd4103c0 | 20472:e993073eda4c |
|---|---|
3 |
3 |
4 theory logic imports base begin |
4 theory logic imports base begin |
5 |
5 |
6 chapter {* Primitive logic \label{ch:logic} *} |
6 chapter {* Primitive logic \label{ch:logic} *} |
7 |
7 |
8 section {* Variable names *} |
8 section {* Names *} |
9 |
9 |
10 text FIXME |
10 text FIXME |
11 |
11 |
12 |
12 |
13 section {* Types \label{sec:types} *} |
13 section {* Types \label{sec:types} *} |