--- 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},