1.1 --- a/doc-src/manual.bib	Tue Jun 03 00:16:18 2008 +0200
     1.2 +++ b/doc-src/manual.bib	Tue Jun 03 00:16:37 2008 +0200
     1.3 @@ -1318,6 +1318,18 @@
     1.4    year=2002,
     1.5    note =	 {\url{http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2002/wenzel.html}}}
     1.6  
     1.7 +@InCollection{Wenzel:2006:Festschrift,
     1.8 +  author = 	 {Makarius Wenzel},
     1.9 +  title = 	 {{Isabelle/Isar} --- a generic framework for human-readable proof documents},
    1.10 +  booktitle = 	 {From Insight to Proof --- Festschrift in Honour of Andrzej Trybulec},
    1.11 +  publisher =	 {University of Bia{\l}ystok},
    1.12 +  year =	 2007,
    1.13 +  editor =	 {R. Matuszewski and A. Zalewska},
    1.14 +  volume =	 {10(23)},
    1.15 +  series =	 {Studies in Logic, Grammar, and Rhetoric},
    1.16 +  note =         {\url{http://www.in.tum.de/~wenzelm/papers/isar-framework.pdf}}
    1.17 +}
    1.18 +
    1.19  @book{principia,
    1.20    author	= {A. N. Whitehead and B. Russell},
    1.21    title		= {Principia Mathematica},