doc-src/IsarRef/intro.tex
changeset 7987 d9aef93c0e32
parent 7981 5120a2a15d06
child 8508 76d8d8aab881
     1.1 --- a/doc-src/IsarRef/intro.tex	Sat Oct 30 20:41:30 1999 +0200
     1.2 +++ b/doc-src/IsarRef/intro.tex	Sun Oct 31 15:20:35 1999 +0100
     1.3 @@ -149,7 +149,7 @@
     1.4    \end{tabular}
     1.5  \end{center}
     1.6  
     1.7 -See \texttt{HOL/Isar_examples} for a collection of introductory examples.
     1.8 +See \texttt{HOL/Isar_examples} for a collection of introductory examples, and
     1.9  \texttt{HOL/HOL-Real/HahnBanach} is a big mathematics application.  Apart from
    1.10  browsable HTML sources, both sessions provide actual documents (in PDF).
    1.11