1.1 --- a/doc-src/manual.bib	Mon Feb 02 22:16:41 2009 +0100
     1.2 +++ b/doc-src/manual.bib	Mon Feb 09 12:49:13 2009 +0100
     1.3 @@ -1,6 +1,4 @@
     1.4  % BibTeX database for the Isabelle documentation
     1.5 -%
     1.6 -% Lawrence C Paulson $Id$
     1.7  
     1.8  %publishers
     1.9  @string{AP="Academic Press"}
    1.10 @@ -1331,6 +1329,24 @@
    1.11    year=2002,
    1.12    note =	 {\url{http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2002/wenzel.html}}}
    1.13  
    1.14 +@Article{Wenzel-Wiedijk:2002,
    1.15 +  author = 	 {Freek Wiedijk and Markus Wenzel},
    1.16 +  title = 	 {A comparison of the mathematical proof languages {Mizar} and {Isar}.},
    1.17 +  journal = 	 {Journal of Automated Reasoning},
    1.18 +  year = 	 2002,
    1.19 +  volume =	 29,
    1.20 +  number =	 {3-4}
    1.21 +}
    1.22 +
    1.23 +@InCollection{Wenzel-Paulson:2006,
    1.24 +  author = 	 {Markus Wenzel and Lawrence C. Paulson},
    1.25 +  title = 	 {{Isabelle/Isar}},
    1.26 +  booktitle = 	 {The Seventeen Provers of the World},
    1.27 +  year =	 2006,
    1.28 +  editor =	 {F. Wiedijk},
    1.29 +  series =	 {LNAI 3600}
    1.30 +}
    1.31 +
    1.32  @InCollection{Wenzel:2006:Festschrift,
    1.33    author = 	 {Makarius Wenzel},
    1.34    title = 	 {{Isabelle/Isar} --- a generic framework for human-readable proof documents},