| changeset 13758 | ee898d32de21 |
| parent 12328 | 7c4ec77a8715 |
| child 13778 | 61272514e3b5 |
| 13757:33b84d172c97 | 13758:ee898d32de21 |
|---|---|
211 \isamarkupfalse% |
211 \isamarkupfalse% |
212 \isamarkupfalse% |
212 \isamarkupfalse% |
213 \isamarkupfalse% |
213 \isamarkupfalse% |
214 \isamarkupfalse% |
214 \isamarkupfalse% |
215 \isamarkupfalse% |
215 \isamarkupfalse% |
216 \isanewline |
|
216 \isamarkupfalse% |
217 \isamarkupfalse% |
217 \end{isabellebody}% |
218 \end{isabellebody}% |
218 %%% Local Variables: |
219 %%% Local Variables: |
219 %%% mode: latex |
220 %%% mode: latex |
220 %%% TeX-master: "root" |
221 %%% TeX-master: "root" |