1.1 --- a/doc-src/manual.bib	Wed Mar 14 08:50:55 2001 +0100
     1.2 +++ b/doc-src/manual.bib	Wed Mar 14 17:38:49 2001 +0100
     1.3 @@ -91,8 +91,13 @@
     1.4  @InProceedings{Aspinall:TACAS:2000,
     1.5    author = 	 {David Aspinall},
     1.6    title = 	 {{P}roof {G}eneral: A Generic Tool for Proof Development},
     1.7 -  booktitle = 	 {ETAPS / TACAS},
     1.8 -  year =	 2000
     1.9 +  booktitle = 	 {Tools and Algorithms for the Construction and Analysis of
    1.10 +                  Systems (TACAS)},
    1.11 +  year =	 2000,
    1.12 +  publisher	= Springer,
    1.13 +  series	= LNCS,
    1.14 +  volume	= 1785,
    1.15 +  pages = "38--42"
    1.16  }
    1.17  
    1.18  @Misc{isamode,
    1.19 @@ -335,7 +340,7 @@
    1.20    note		= {Translated by Yves LaFont and Paul Taylor}}
    1.21  
    1.22  @Book{mgordon-hol,
    1.23 -  author	= {M. J. C. Gordon and T. F. Melham},
    1.24 +  editor	= {M. J. C. Gordon and T. F. Melham},
    1.25    title		= {Introduction to {HOL}: A Theorem Proving Environment for
    1.26  		 Higher Order Logic},
    1.27    publisher	= CUP,