equal
deleted
inserted
replaced
110 \end{isamarkuptext}% |
110 \end{isamarkuptext}% |
111 \isamarkuptrue% |
111 \isamarkuptrue% |
112 \isacommand{theorem}\ AF{\isacharunderscore}lemma{\isadigit{2}}{\isacharcolon}\ \ {\isachardoublequote}{\isacharbraceleft}s{\isachardot}\ {\isasymforall}p\ {\isasymin}\ Paths\ s{\isachardot}\ {\isasymexists}\ i{\isachardot}\ p\ i\ {\isasymin}\ A{\isacharbraceright}\ {\isasymsubseteq}\ lfp{\isacharparenleft}af\ A{\isacharparenright}{\isachardoublequote}\isanewline |
112 \isacommand{theorem}\ AF{\isacharunderscore}lemma{\isadigit{2}}{\isacharcolon}\ \ {\isachardoublequote}{\isacharbraceleft}s{\isachardot}\ {\isasymforall}p\ {\isasymin}\ Paths\ s{\isachardot}\ {\isasymexists}\ i{\isachardot}\ p\ i\ {\isasymin}\ A{\isacharbraceright}\ {\isasymsubseteq}\ lfp{\isacharparenleft}af\ A{\isacharparenright}{\isachardoublequote}\isanewline |
113 \isamarkupfalse% |
113 \isamarkupfalse% |
114 \isanewline |
114 \isanewline |
115 \isanewline |
|
116 \isamarkupfalse% |
115 \isamarkupfalse% |
117 \isamarkupfalse% |
116 \isamarkupfalse% |
118 \end{isabellebody}% |
117 \end{isabellebody}% |
119 %%% Local Variables: |
118 %%% Local Variables: |
120 %%% mode: latex |
119 %%% mode: latex |