doc-src/Intro/intro.tex
changeset 1878 ac8e534b4834
parent 1866 a1a41b4b02e7
child 2656 71097a167f0b
     1.1 --- a/doc-src/Intro/intro.tex	Mon Jul 22 16:15:45 1996 +0200
     1.2 +++ b/doc-src/Intro/intro.tex	Mon Jul 22 16:16:51 1996 +0200
     1.3 @@ -36,10 +36,10 @@
     1.4  
     1.5  \pagestyle{headings}
     1.6  \part*{Preface}
     1.7 -\index{Isabelle!overview}
     1.8 -\index{Isabelle!object-logics supported}
     1.9 -Isabelle~\cite{paulson86,paulson89,paulson700} is a generic theorem prover.
    1.10 -It has been instantiated to support reasoning in several object-logics:
    1.11 +\index{Isabelle!overview} \index{Isabelle!object-logics supported}
    1.12 +Isabelle~\cite{paulson-natural,paulson-found,paulson700} is a generic theorem
    1.13 +prover.  It has been instantiated to support reasoning in several
    1.14 +object-logics:
    1.15  \begin{itemize}
    1.16  \item first-order logic, constructive and classical versions
    1.17  \item higher-order logic, similar to that of Gordon's {\sc