--- a/doc-src/manual.bib Wed Jan 02 21:51:38 2002 +0100
+++ b/doc-src/manual.bib Wed Jan 02 21:52:15 2002 +0100
@@ -790,6 +790,18 @@
month = mar,
pages = {175-204}}
+@manual{isabelle-intro,
+ author = {Lawrence C. Paulson},
+ title = {Introduction to {Isabelle}},
+ institution = CUCL,
+ note = {\url{http://isabelle.in.tum.de/doc/intro.pdf}}}
+
+@manual{isabelle-logics,
+ author = {Lawrence C. Paulson},
+ title = {{Isabelle's} Logics},
+ institution = CUCL,
+ note = {\url{http://isabelle.in.tum.de/doc/logics.pdf}}}
+
@manual{isabelle-ref,
author = {Lawrence C. Paulson},
title = {The {Isabelle} Reference Manual},