| changeset 28504 | 7ad7d7d6df47 |
| parent 27354 | f7ba6b2af22a |
| child 29716 | b6266c4c68fe |
| child 30240 | 5b25fee0362c |
--- 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";