| changeset 15614 | b098158a3f39 |
| parent 15481 | fc075ae929e4 |
| child 16069 | 3f2a9f400168 |
| 15613:ab90e95ae02e | 15614:b098158a3f39 |
|---|---|
46 \isamarkupfalse% |
46 \isamarkupfalse% |
47 \isamarkupfalse% |
47 \isamarkupfalse% |
48 \isamarkupfalse% |
48 \isamarkupfalse% |
49 \isamarkupfalse% |
49 \isamarkupfalse% |
50 \isamarkuptrue% |
50 \isamarkuptrue% |
51 \isanewline |
|
51 \isamarkupfalse% |
52 \isamarkupfalse% |
52 \isamarkupfalse% |
53 \isamarkupfalse% |
53 \end{isabellebody}% |
54 \end{isabellebody}% |
54 %%% Local Variables: |
55 %%% Local Variables: |
55 %%% mode: latex |
56 %%% mode: latex |