--- a/doc-src/Intro/intro.tex Wed May 05 14:31:31 1999 +0200
+++ b/doc-src/Intro/intro.tex Wed May 05 16:44:42 1999 +0200
@@ -64,7 +64,7 @@
knowledge of Standard~\ML{} is essential, because \ML{} is Isabelle's user
interface. Advanced Isabelle theorem proving can involve writing \ML{}
code, possibly with Isabelle's sources at hand. My book
-on~\ML{}~\cite{paulson91} covers much material connected with Isabelle,
+on~\ML{}~\cite{paulson-ml2} covers much material connected with Isabelle,
including a simple theorem prover. Users must be familiar with logic as
used in computer science; there are many good
texts~\cite{galton90,reeves90}.
@@ -135,7 +135,7 @@
\include{advanced}
\bibliographystyle{plain} \small\raggedright\frenchspacing
-\bibliography{string,atp,funprog,general,logicprog,isabelle,theory,crossref}
+\bibliography{../manual}
\input{intro.ind}
\end{document}