1.1 --- a/doc-src/manual.bib	Tue Sep 05 22:05:49 2006 +0200
     1.2 +++ b/doc-src/manual.bib	Tue Sep 05 22:06:18 2006 +0200
     1.3 @@ -120,6 +120,15 @@
     1.4  @book{Baader-Nipkow,author={Franz Baader and Tobias Nipkow},
     1.5  title="Term Rewriting and All That",publisher=CUP,year=1998}
     1.6  
     1.7 +@InCollection{Barendregt-Geuvers:2001,
     1.8 +  author = 	 {H. Barendregt and H. Geuvers},
     1.9 +  title = 	 {Proof Assistants using Dependent Type Systems},
    1.10 +  booktitle = 	 {Handbook of Automated Reasoning},
    1.11 +  publisher =	 {Elsevier},
    1.12 +  year =	 2001,
    1.13 +  editor =	 {A. Robinson and A. Voronkov}
    1.14 +}
    1.15 +
    1.16  @incollection{basin91,
    1.17    author	= {David Basin and Matt Kaufmann},
    1.18    title		= {The {Boyer-Moore} Prover and {Nuprl}: An Experimental