equal
deleted
inserted
replaced
31 \end{isamarkuptext}% |
31 \end{isamarkuptext}% |
32 \isamarkuptrue% |
32 \isamarkuptrue% |
33 \isacommand{lemma}\ {\isachardoublequote}flatten{\isacharparenleft}mirror\ t{\isacharparenright}\ {\isacharequal}\ rev{\isacharparenleft}flatten\ t{\isacharparenright}{\isachardoublequote}\isamarkupfalse% |
33 \isacommand{lemma}\ {\isachardoublequote}flatten{\isacharparenleft}mirror\ t{\isacharparenright}\ {\isacharequal}\ rev{\isacharparenleft}flatten\ t{\isacharparenright}{\isachardoublequote}\isamarkupfalse% |
34 \isamarkupfalse% |
34 \isamarkupfalse% |
35 \isamarkupfalse% |
35 \isamarkupfalse% |
|
36 \isanewline |
36 \isamarkupfalse% |
37 \isamarkupfalse% |
37 \end{isabellebody}% |
38 \end{isabellebody}% |
38 %%% Local Variables: |
39 %%% Local Variables: |
39 %%% mode: latex |
40 %%% mode: latex |
40 %%% TeX-master: "root" |
41 %%% TeX-master: "root" |