equal
deleted
inserted
replaced
18 \end{isamarkuptext}% |
18 \end{isamarkuptext}% |
19 \isamarkuptrue% |
19 \isamarkuptrue% |
20 \isamarkupfalse% |
20 \isamarkupfalse% |
21 \isamarkupfalse% |
21 \isamarkupfalse% |
22 \isamarkupfalse% |
22 \isamarkupfalse% |
23 \isacommand{lemma}\ {\isachardoublequote}plus\ m\ n\ {\isacharequal}\ m{\isacharplus}n{\isachardoublequote}\isanewline |
23 \isacommand{lemma}\ {\isachardoublequote}plus\ m\ n\ {\isacharequal}\ m{\isacharplus}n{\isachardoublequote}\isamarkupfalse% |
24 \isamarkupfalse% |
|
25 \isamarkupfalse% |
24 \isamarkupfalse% |
26 \isamarkupfalse% |
25 \isamarkupfalse% |
27 \end{isabellebody}% |
26 \end{isabellebody}% |
28 %%% Local Variables: |
27 %%% Local Variables: |
29 %%% mode: latex |
28 %%% mode: latex |