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