equal
deleted
inserted
replaced
16 % |
16 % |
17 \isadelimtheory |
17 \isadelimtheory |
18 % |
18 % |
19 \endisadelimtheory |
19 \endisadelimtheory |
20 % |
20 % |
21 \isamarkupchapter{Outer syntax --- the theory language% |
21 \isamarkupchapter{Outer syntax --- the theory language \label{ch:outer-syntax}% |
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 |