| changeset 46282 | 83864b045a72 |
| parent 42705 | 528a2ba8fa74 |
| child 47114 | 7c9e31ffcd9e |
| 46281:f21c8ecbf8d5 | 46282:83864b045a72 |
|---|---|
16 % |
16 % |
17 \isadelimtheory |
17 \isadelimtheory |
18 % |
18 % |
19 \endisadelimtheory |
19 \endisadelimtheory |
20 % |
20 % |
21 \isamarkupchapter{Outer syntax% |
21 \isamarkupchapter{Outer syntax --- the theory language% |
22 } |
22 } |
23 \isamarkuptrue% |
23 \isamarkuptrue% |
24 % |
24 % |
25 \begin{isamarkuptext}% |
25 \begin{isamarkuptext}% |
26 The rather generic framework of Isabelle/Isar syntax emerges from |
26 The rather generic framework of Isabelle/Isar syntax emerges from |