--- a/doc-src/manual.bib Fri Oct 15 19:54:34 2010 +0100
+++ b/doc-src/manual.bib Fri Oct 15 20:22:56 2010 +0100
@@ -1053,7 +1053,7 @@
@manual{isabelle-intro,
author = {Lawrence C. Paulson},
- title = {Introduction to {Isabelle}},
+ title = {Old Introduction to {Isabelle}},
institution = CUCL,
note = {\url{http://isabelle.in.tum.de/doc/intro.pdf}}}
@@ -1065,7 +1065,7 @@
@manual{isabelle-ref,
author = {Lawrence C. Paulson},
- title = {The {Isabelle} Reference Manual},
+ title = {The Old {Isabelle} Reference Manual},
institution = CUCL,
note = {\url{http://isabelle.in.tum.de/doc/ref.pdf}}}