| changeset 13778 | 61272514e3b5 |
| parent 13758 | ee898d32de21 |
| child 14179 | 04f905c13502 |
| 13777:23e743ac9cec | 13778:61272514e3b5 |
|---|---|
211 \isamarkupfalse% |
211 \isamarkupfalse% |
212 \isamarkupfalse% |
212 \isamarkupfalse% |
213 \isamarkupfalse% |
213 \isamarkupfalse% |
214 \isamarkupfalse% |
214 \isamarkupfalse% |
215 \isamarkupfalse% |
215 \isamarkupfalse% |
216 \isanewline |
|
217 \isamarkupfalse% |
216 \isamarkupfalse% |
218 \end{isabellebody}% |
217 \end{isabellebody}% |
219 %%% Local Variables: |
218 %%% Local Variables: |
220 %%% mode: latex |
219 %%% mode: latex |
221 %%% TeX-master: "root" |
220 %%% TeX-master: "root" |