equal
deleted
inserted
replaced
156 \end{isamarkuptext}% |
156 \end{isamarkuptext}% |
157 \isamarkuptrue% |
157 \isamarkuptrue% |
158 \isamarkupfalse% |
158 \isamarkupfalse% |
159 \isamarkupfalse% |
159 \isamarkupfalse% |
160 \isamarkupfalse% |
160 \isamarkupfalse% |
|
161 \isanewline |
|
162 \isamarkupfalse% |
|
163 \isamarkupfalse% |
|
164 \isamarkupfalse% |
|
165 \isanewline |
161 \isamarkupfalse% |
166 \isamarkupfalse% |
162 \isamarkupfalse% |
167 \isamarkupfalse% |
163 \isamarkupfalse% |
168 \isamarkupfalse% |
164 \isamarkupfalse% |
169 \isamarkupfalse% |
165 \isamarkupfalse% |
170 \isamarkupfalse% |
166 \isamarkupfalse% |
171 \isanewline |
167 \isamarkupfalse% |
|
168 \isamarkupfalse% |
|
169 \isamarkupfalse% |
172 \isamarkupfalse% |
170 \isamarkupfalse% |
173 \isamarkupfalse% |
171 \end{isabellebody}% |
174 \end{isabellebody}% |
172 %%% Local Variables: |
175 %%% Local Variables: |
173 %%% mode: latex |
176 %%% mode: latex |