--- a/doc-src/TutorialI/Misc/document/simp.tex Mon Feb 10 09:45:22 2003 +0100
+++ b/doc-src/TutorialI/Misc/document/simp.tex Mon Feb 10 15:57:46 2003 +0100
@@ -50,7 +50,7 @@
It is inadvisable to toggle the simplification attribute of a
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
+ different path) on $A$, it is not defined what the simplification attribute
of that theorem will be in $C$: it could be either.
\end{warn}%
\end{isamarkuptext}%