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