doc-src/IsarRef/Thy/document/Introduction.tex
changeset 28505 f98751bd715f
parent 27057 ecbe1afe800b
child 29717 51ed69c9422b
child 30240 5b25fee0362c
     1.1 --- a/doc-src/IsarRef/Thy/document/Introduction.tex	Sat Oct 04 17:40:56 2008 +0200
     1.2 +++ b/doc-src/IsarRef/Thy/document/Introduction.tex	Sat Oct 04 17:40:58 2008 +0200
     1.3 @@ -105,7 +105,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";