# HG changeset patch
# User paulson
# Date 1060788299 -7200
# Node ID 331ab35e81f2387b1278391eaa02604b2ab6e320
# Parent  0edd2d57eaf829c98cf185fab533366a3425747c
added tutorial

diff -r 0edd2d57eaf8 -r 331ab35e81f2 doc-src/manual.bib
--- a/doc-src/manual.bib	Wed Aug 13 12:28:53 2003 +0200
+++ b/doc-src/manual.bib	Wed Aug 13 17:24:59 2003 +0200
@@ -731,6 +731,13 @@
   year		= 1995,
   pages		= {201-224}}
 
+@Book{isa-tutorial,
+  author	= {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
+  title		= {Isabelle/HOL: A Proof Assistant for Higher-Order Logic},
+  publisher	= {Springer},
+  year		= 2002,
+  note		= {LNCS Tutorial 2283}}
+
 @Article{noel,
   author	= {Philippe No{\"e}l},
   title		= {Experimenting with {Isabelle} in {ZF} Set Theory},
@@ -1167,12 +1174,13 @@
   title = 	 {Type Classes and Overloading in Higher-Order Logic},
   crossref =     {tphols97}}
 
-@phdthesis{Wenzel-PhD,author={Markus Wenzel},title={Isabelle/Isar ---
-a versatile environment for human-readable formal proof documents},
-school={Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},year=2002,
+@phdthesis{Wenzel-PhD,
+  author={Markus Wenzel},
+    title={Isabelle/Isar --- a versatile environment for human-readable formal proof documents},
+  school={Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
+  year=2002,
   note =	 {\url{http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2002/wenzel.html}}}
 
-
 @book{principia,
   author	= {A. N. Whitehead and B. Russell},
   title		= {Principia Mathematica},