| changeset 20471 | ffafbd4103c0 |
| parent 20451 | 27ea2ba48fa3 |
| child 20472 | e993073eda4c |
| 20470:c839b38a1f32 | 20471:ffafbd4103c0 |
|---|---|
17 % |
17 % |
18 \isadelimtheory |
18 \isadelimtheory |
19 % |
19 % |
20 \endisadelimtheory |
20 \endisadelimtheory |
21 % |
21 % |
22 \isamarkupchapter{Primitive logic% |
22 \isamarkupchapter{Primitive logic \label{ch:logic}% |
23 } |
23 } |
24 \isamarkuptrue% |
24 \isamarkuptrue% |
25 % |
25 % |
26 \isamarkupsection{Variable names% |
26 \isamarkupsection{Variable names% |
27 } |
27 } |