doc-src/Intro/intro.tex
changeset 6592 c120262044b6
parent 5170 33fbffd06c12
child 6611 08dfd050b373
     1.1 --- a/doc-src/Intro/intro.tex	Wed May 05 14:31:31 1999 +0200
     1.2 +++ b/doc-src/Intro/intro.tex	Wed May 05 16:44:42 1999 +0200
     1.3 @@ -64,7 +64,7 @@
     1.4  knowledge of Standard~\ML{} is essential, because \ML{} is Isabelle's user
     1.5  interface.  Advanced Isabelle theorem proving can involve writing \ML{}
     1.6  code, possibly with Isabelle's sources at hand.  My book
     1.7 -on~\ML{}~\cite{paulson91} covers much material connected with Isabelle,
     1.8 +on~\ML{}~\cite{paulson-ml2} covers much material connected with Isabelle,
     1.9  including a simple theorem prover.  Users must be familiar with logic as
    1.10  used in computer science; there are many good
    1.11  texts~\cite{galton90,reeves90}.
    1.12 @@ -135,7 +135,7 @@
    1.13  \include{advanced}
    1.14  
    1.15  \bibliographystyle{plain} \small\raggedright\frenchspacing
    1.16 -\bibliography{string,atp,funprog,general,logicprog,isabelle,theory,crossref}
    1.17 +\bibliography{../manual}
    1.18  
    1.19  \input{intro.ind}
    1.20  \end{document}