equal
deleted
inserted
replaced
90 \isamarkuptrue% |
90 \isamarkuptrue% |
91 \isacommand{lemma}\ {\isachardoublequote}{\isacharparenleft}{\isasymlambda}{\isacharparenleft}x{\isacharcomma}y{\isacharparenright}{\isachardot}y{\isacharparenright}\ p\ {\isacharequal}\ snd\ p{\isachardoublequote}\isanewline |
91 \isacommand{lemma}\ {\isachardoublequote}{\isacharparenleft}{\isasymlambda}{\isacharparenleft}x{\isacharcomma}y{\isacharparenright}{\isachardot}y{\isacharparenright}\ p\ {\isacharequal}\ snd\ p{\isachardoublequote}\isanewline |
92 \isamarkupfalse% |
92 \isamarkupfalse% |
93 \isamarkupfalse% |
93 \isamarkupfalse% |
94 \isamarkuptrue% |
94 \isamarkuptrue% |
|
95 \isanewline |
95 \isamarkupfalse% |
96 \isamarkupfalse% |
96 \isamarkupfalse% |
97 \isamarkupfalse% |
97 \isamarkupfalse% |
98 \isamarkupfalse% |
98 % |
99 % |
99 \begin{isamarkuptext}% |
100 \begin{isamarkuptext}% |