equal
deleted
inserted
replaced
21 % |
21 % |
22 \isamarkupchapter{Isar proof texts% |
22 \isamarkupchapter{Isar proof texts% |
23 } |
23 } |
24 \isamarkuptrue% |
24 \isamarkuptrue% |
25 % |
25 % |
26 \isamarkupsection{Proof states \label{sec:isar-proof-state}% |
26 \isamarkupsection{Proof context% |
|
27 } |
|
28 \isamarkuptrue% |
|
29 % |
|
30 \begin{isamarkuptext}% |
|
31 FIXME% |
|
32 \end{isamarkuptext}% |
|
33 \isamarkuptrue% |
|
34 % |
|
35 \isamarkupsection{Proof state \label{sec:isar-proof-state}% |
27 } |
36 } |
28 \isamarkuptrue% |
37 \isamarkuptrue% |
29 % |
38 % |
30 \begin{isamarkuptext}% |
39 \begin{isamarkuptext}% |
31 FIXME |
40 FIXME |