| changeset 46523 | 7ca897381b26 |
| parent 45211 | 3dd426ae6bea |
| child 46563 | 0ad69b30b39c |
| 46522:2b1e87b3967f | 46523:7ca897381b26 |
|---|---|
576 % |
576 % |
577 \isadelimtheory |
577 \isadelimtheory |
578 % |
578 % |
579 \endisadelimtheory |
579 \endisadelimtheory |
580 \isanewline |
580 \isanewline |
581 \isanewline |
|
581 \end{isabellebody}% |
582 \end{isabellebody}% |
582 %%% Local Variables: |
583 %%% Local Variables: |
583 %%% mode: latex |
584 %%% mode: latex |
584 %%% TeX-master: "root" |
585 %%% TeX-master: "root" |
585 %%% End: |
586 %%% End: |