1.1 --- a/doc-src/manual.bib Wed Aug 13 12:28:53 2003 +0200
1.2 +++ b/doc-src/manual.bib Wed Aug 13 17:24:59 2003 +0200
1.3 @@ -731,6 +731,13 @@
1.4 year = 1995,
1.5 pages = {201-224}}
1.6
1.7 +@Book{isa-tutorial,
1.8 + author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
1.9 + title = {Isabelle/HOL: A Proof Assistant for Higher-Order Logic},
1.10 + publisher = {Springer},
1.11 + year = 2002,
1.12 + note = {LNCS Tutorial 2283}}
1.13 +
1.14 @Article{noel,
1.15 author = {Philippe No{\"e}l},
1.16 title = {Experimenting with {Isabelle} in {ZF} Set Theory},
1.17 @@ -1167,12 +1174,13 @@
1.18 title = {Type Classes and Overloading in Higher-Order Logic},
1.19 crossref = {tphols97}}
1.20
1.21 -@phdthesis{Wenzel-PhD,author={Markus Wenzel},title={Isabelle/Isar ---
1.22 -a versatile environment for human-readable formal proof documents},
1.23 -school={Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},year=2002,
1.24 +@phdthesis{Wenzel-PhD,
1.25 + author={Markus Wenzel},
1.26 + title={Isabelle/Isar --- a versatile environment for human-readable formal proof documents},
1.27 + school={Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
1.28 + year=2002,
1.29 note = {\url{http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2002/wenzel.html}}}
1.30
1.31 -
1.32 @book{principia,
1.33 author = {A. N. Whitehead and B. Russell},
1.34 title = {Principia Mathematica},