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