new reference girard89

--- a/doc-src/manual.bib	Sat Sep 02 22:42:04 2000 +0200
+++ b/doc-src/manual.bib	Sun Sep 03 14:41:56 2000 +0200
@@ -312,6 +312,13 @@
   pages		= {39-59}
 }
 
+@book{girard89,
+  author	= {Jean-Yves Girard},
+  title		= {Proofs and Types},
+  year		= 1989,
+  publisher	= CUP, 
+  note		= {Translated by Yves LaFont and Paul Taylor}}
+
 @Book{mgordon-hol,
   author	= {M. J. C. Gordon and T. F. Melham},
   title		= {Introduction to {HOL}: A Theorem Proving Environment for