# HG changeset patch
# User wenzelm
# Date 1010004735 -3600
# Node ID 07f1399c1feebe6b1300b1bd42d84f89b456ce8c
# Parent  3ef6235a4a75ec4703e74e4eed42e106577086d4
added isabelle-intro, isabelle-logics;

diff -r 3ef6235a4a75 -r 07f1399c1fee doc-src/manual.bib
--- 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},