--- a/doc-src/TutorialI/Misc/document/simp.tex Thu Nov 29 21:12:37 2001 +0100
+++ b/doc-src/TutorialI/Misc/document/simp.tex Fri Nov 30 12:18:14 2001 +0100
@@ -48,7 +48,7 @@
\end{warn}
\begin{warn}
It is inadvisable to toggle the simplification attribute of a
- theorem from a \emph{parent} theory $A$ in a child theory $B$ for good.
+ theorem from a parent theory $A$ in a child theory $B$ for good.
The reason is that if some theory $C$ is based both on $B$ and (via a
differnt path) on $A$, it is not defined what the simplification attribute
of that theorem will be in $C$: it could be either.