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