# HG changeset patch
# User wenzelm
# Date 1234180153 -3600
# Node ID c3233b483287d348a9275183a61e73117505413a
# Parent  6cef6700c841dd793c5f7eae36b71ccfb5d68f15
more refs;

diff -r 6cef6700c841 -r c3233b483287 doc-src/manual.bib
--- a/doc-src/manual.bib	Mon Feb 02 22:16:41 2009 +0100
+++ b/doc-src/manual.bib	Mon Feb 09 12:49:13 2009 +0100
@@ -1,6 +1,4 @@
 % BibTeX database for the Isabelle documentation
-%
-% Lawrence C Paulson $Id$
 
 %publishers
 @string{AP="Academic Press"}
@@ -1331,6 +1329,24 @@
   year=2002,
   note =	 {\url{http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2002/wenzel.html}}}
 
+@Article{Wenzel-Wiedijk:2002,
+  author = 	 {Freek Wiedijk and Markus Wenzel},
+  title = 	 {A comparison of the mathematical proof languages {Mizar} and {Isar}.},
+  journal = 	 {Journal of Automated Reasoning},
+  year = 	 2002,
+  volume =	 29,
+  number =	 {3-4}
+}
+
+@InCollection{Wenzel-Paulson:2006,
+  author = 	 {Markus Wenzel and Lawrence C. Paulson},
+  title = 	 {{Isabelle/Isar}},
+  booktitle = 	 {The Seventeen Provers of the World},
+  year =	 2006,
+  editor =	 {F. Wiedijk},
+  series =	 {LNAI 3600}
+}
+
 @InCollection{Wenzel:2006:Festschrift,
   author = 	 {Makarius Wenzel},
   title = 	 {{Isabelle/Isar} --- a generic framework for human-readable proof documents},