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