equal
deleted
inserted
replaced
57 \isacommand{lemma}\ {\isachardoublequote}exs\ P\ xs\ {\isacharequal}\ Z{\isachardoublequote}\isamarkupfalse% |
57 \isacommand{lemma}\ {\isachardoublequote}exs\ P\ xs\ {\isacharequal}\ Z{\isachardoublequote}\isamarkupfalse% |
58 \isamarkupfalse% |
58 \isamarkupfalse% |
59 % |
59 % |
60 \begin{isamarkuptext}% |
60 \begin{isamarkuptext}% |
61 Define a function \isa{is{\isacharunderscore}in\ x\ xs} that checks if \isa{x} occurs in |
61 Define a function \isa{is{\isacharunderscore}in\ x\ xs} that checks if \isa{x} occurs in |
62 \isa{xs} vorkommt. Now express \isa{is{\isacharunderscore}in} via \isa{exs}:% |
62 \isa{xs}. Now express \isa{is{\isacharunderscore}in} via \isa{exs}:% |
63 \end{isamarkuptext}% |
63 \end{isamarkuptext}% |
64 \isamarkuptrue% |
64 \isamarkuptrue% |
65 \isacommand{lemma}\ {\isachardoublequote}is{\isacharunderscore}in\ a\ xs\ {\isacharequal}\ Z{\isachardoublequote}\isamarkupfalse% |
65 \isacommand{lemma}\ {\isachardoublequote}is{\isacharunderscore}in\ a\ xs\ {\isacharequal}\ Z{\isachardoublequote}\isamarkupfalse% |
66 \isamarkupfalse% |
66 \isamarkupfalse% |
67 % |
67 % |