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