diff -r 722593f2f068 -r 5402c2eaf393 doc-src/TutorialI/Misc/simp.thy
--- a/doc-src/TutorialI/Misc/simp.thy	Mon Feb 10 09:45:22 2003 +0100
+++ b/doc-src/TutorialI/Misc/simp.thy	Mon Feb 10 15:57:46 2003 +0100
@@ -46,7 +46,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}
 *}