added isabelle-intro, isabelle-logics;
authorwenzelm
Wed, 02 Jan 2002 21:52:15 +0100
changeset 12616 07f1399c1fee
parent 12615 3ef6235a4a75
child 12617 ab63d9842332
added isabelle-intro, isabelle-logics;
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},