equal
deleted
inserted
replaced
135 its instance.% |
135 its instance.% |
136 \index{compiling expressions example|)}% |
136 \index{compiling expressions example|)}% |
137 \end{isamarkuptext}% |
137 \end{isamarkuptext}% |
138 \isamarkuptrue% |
138 \isamarkuptrue% |
139 \isamarkupfalse% |
139 \isamarkupfalse% |
|
140 \isanewline |
140 \isamarkupfalse% |
141 \isamarkupfalse% |
141 \isamarkupfalse% |
142 \isamarkupfalse% |
142 \end{isabellebody}% |
143 \end{isabellebody}% |
143 %%% Local Variables: |
144 %%% Local Variables: |
144 %%% mode: latex |
145 %%% mode: latex |