doc-src/TutorialI/Inductive/document/Even.tex

--- a/doc-src/TutorialI/Inductive/document/Even.tex	Mon Jul 23 14:36:37 2007 +0200
+++ b/doc-src/TutorialI/Inductive/document/Even.tex	Mon Jul 23 14:39:21 2007 +0200
@@ -35,7 +35,7 @@
 \isamarkuptrue%
 %
 \begin{isamarkuptext}%
-Using \commdx{inductive\_set}, we declare the constant \isa{even} to be
+Using \commdx{inductive\protect\_set}, we declare the constant \isa{even} to be
 a set of natural numbers with the desired properties.%
 \end{isamarkuptext}%
 \isamarkuptrue%