# HG changeset patch
# User wenzelm
# Date 1157486778 -7200
# Node ID 0f6302a48fa66a1e298f743dff3d619b55ed4eee
# Parent  c96f80442ce6236560d19de10a0c940842537c9d
added Barendregt-Geuvers:2001;

diff -r c96f80442ce6 -r 0f6302a48fa6 doc-src/manual.bib
--- a/doc-src/manual.bib	Tue Sep 05 22:05:49 2006 +0200
+++ b/doc-src/manual.bib	Tue Sep 05 22:06:18 2006 +0200
@@ -120,6 +120,15 @@
 @book{Baader-Nipkow,author={Franz Baader and Tobias Nipkow},
 title="Term Rewriting and All That",publisher=CUP,year=1998}
 
+@InCollection{Barendregt-Geuvers:2001,
+  author = 	 {H. Barendregt and H. Geuvers},
+  title = 	 {Proof Assistants using Dependent Type Systems},
+  booktitle = 	 {Handbook of Automated Reasoning},
+  publisher =	 {Elsevier},
+  year =	 2001,
+  editor =	 {A. Robinson and A. Voronkov}
+}
+
 @incollection{basin91,
   author	= {David Basin and Matt Kaufmann},
   title		= {The {Boyer-Moore} Prover and {Nuprl}: An Experimental