equal
deleted
inserted
replaced
133 \isamarkupfalse% |
133 \isamarkupfalse% |
134 \isamarkupfalse% |
134 \isamarkupfalse% |
135 \isamarkupfalse% |
135 \isamarkupfalse% |
136 \isamarkupfalse% |
136 \isamarkupfalse% |
137 \isamarkupfalse% |
137 \isamarkupfalse% |
|
138 \isanewline |
138 \isamarkupfalse% |
139 \isamarkupfalse% |
139 \isamarkupfalse% |
140 \isamarkupfalse% |
140 \isamarkupfalse% |
141 \isamarkupfalse% |
141 \isamarkupfalse% |
142 \isamarkupfalse% |
142 \isamarkupfalse% |
143 \isamarkupfalse% |
143 \isamarkupfalse% |
144 \isamarkupfalse% |
|
145 \isanewline |
144 \isamarkupfalse% |
146 \isamarkupfalse% |
145 \isamarkupfalse% |
147 \isamarkupfalse% |
146 \end{isabellebody}% |
148 \end{isabellebody}% |
147 %%% Local Variables: |
149 %%% Local Variables: |
148 %%% mode: latex |
150 %%% mode: latex |