doc-src/Exercises/2002/a1/generated/a1.tex
changeset 13844 44f741cdcea3
parent 13841 ed4e97874454
     1.1 --- a/doc-src/Exercises/2002/a1/generated/a1.tex	Sat Mar 01 19:19:47 2003 +0100
     1.2 +++ b/doc-src/Exercises/2002/a1/generated/a1.tex	Sat Mar 01 19:34:54 2003 +0100
     1.3 @@ -59,7 +59,7 @@
     1.4  %
     1.5  \begin{isamarkuptext}%
     1.6  Define a function \isa{is{\isacharunderscore}in\ x\ xs} that checks if \isa{x} occurs in
     1.7 -\isa{xs} vorkommt. Now express \isa{is{\isacharunderscore}in} via \isa{exs}:%
     1.8 +\isa{xs}. Now express \isa{is{\isacharunderscore}in} via \isa{exs}:%
     1.9  \end{isamarkuptext}%
    1.10  \isamarkuptrue%
    1.11  \isacommand{lemma}\ {\isachardoublequote}is{\isacharunderscore}in\ a\ xs\ {\isacharequal}\ Z{\isachardoublequote}\isamarkupfalse%