equal
deleted
inserted
replaced
51 And analogously for \isa{{\isacharless}} instead of \isa{{\isasymle}}. |
51 And analogously for \isa{{\isacharless}} instead of \isa{{\isasymle}}. |
52 The form on the left is translated into the one on the right upon input. |
52 The form on the left is translated into the one on the right upon input. |
53 For technical reasons, it is not translated back upon output.% |
53 For technical reasons, it is not translated back upon output.% |
54 \end{isamarkuptext}% |
54 \end{isamarkuptext}% |
55 \isamarkuptrue% |
55 \isamarkuptrue% |
56 \isanewline |
|
57 \isamarkupfalse% |
56 \isamarkupfalse% |
58 \end{isabellebody}% |
57 \end{isabellebody}% |
59 %%% Local Variables: |
58 %%% Local Variables: |
60 %%% mode: latex |
59 %%% mode: latex |
61 %%% TeX-master: "root" |
60 %%% TeX-master: "root" |