diff -r a30b7169fdd1 -r 7ad7d7d6df47 doc-src/IsarRef/Thy/Introduction.thy
--- a/doc-src/IsarRef/Thy/Introduction.thy	Sat Oct 04 16:19:49 2008 +0200
+++ b/doc-src/IsarRef/Thy/Introduction.thy	Sat Oct 04 17:40:56 2008 +0200
@@ -82,7 +82,7 @@
   the Isar interaction loop, with some support for command line
   editing.  For example:
 \begin{ttbox}
-isatool tty\medskip
+isabelle tty\medskip
 {\out Welcome to Isabelle/HOL (Isabelle2008)}\medskip
 theory Foo imports Main begin;
 definition foo :: nat where "foo == 1";