# HG changeset patch
# User paulson
# Date 967984916 -7200
# Node ID 2cb9752ff0027f0a1d32e002e231b90618ad6149
# Parent  1375dd92f07ac33cbfa5aa38da4d1dcbf5ea070f
new reference girard89

diff -r 1375dd92f07a -r 2cb9752ff002 doc-src/manual.bib
--- 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