changeset 9272 | 19029b7de03c |
parent 9233 | 8c8399b9ecaa |
child 9604 | abe51fcb2222 |
--- a/doc-src/IsarRef/intro.tex Thu Jul 06 15:58:40 2000 +0200 +++ b/doc-src/IsarRef/intro.tex Thu Jul 06 18:11:15 2000 +0200 @@ -11,7 +11,7 @@ quickest way to do \emph{anything} with Isabelle/Isar is as follows: \begin{ttbox} isabelle -I HOL\medskip -\out{> Welcome to Isabelle/HOL (Isabelle99)}\medskip +\out{> Welcome to Isabelle/HOL (Isabelle99-1)}\medskip theory Foo = Main: constdefs foo :: nat "foo == 1"; lemma "0 < foo" by (simp add: foo_def);