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