doc-src/TutorialI/Misc/trace_simp.thy

--- a/doc-src/TutorialI/Misc/trace_simp.thy	Sun Apr 23 11:41:45 2000 +0200
+++ b/doc-src/TutorialI/Misc/trace_simp.thy	Tue Apr 25 08:09:10 2000 +0200
@@ -33,7 +33,7 @@
 [x] = [] == False
 \end{ttbox}
 
-In more complicated cases, the trace can quite lenghty, especially since
+In more complicated cases, the trace can be quite lenghty, especially since
 invocations of the simplifier are often nested (e.g.\ when solving conditions
 of rewrite rules). Thus it is advisable to reset it:
 *}