1.1 --- a/doc-src/manual.bib	Wed Mar 07 15:54:11 2001 +0100
     1.2 +++ b/doc-src/manual.bib	Wed Mar 07 16:25:51 2001 +0100
     1.3 @@ -102,8 +102,8 @@
     1.4  }
     1.5  
     1.6  @Misc{proofgeneral,
     1.7 -  author =	 {David Aspinall and others},
     1.8 -  title =	 {{P}roof {G}eneral --- {O}rganize your proofs!},
     1.9 +  author =	 {David Aspinall},
    1.10 +  title =	 {{P}roof {G}eneral},
    1.11    note =	 {\url{http://www.proofgeneral.org}}
    1.12  }
    1.13  
    1.14 @@ -549,8 +549,8 @@
    1.15  
    1.16  @article{MuellerNvOS99,
    1.17  author=
    1.18 -{Olaf M{\"u}ller and Tobias Nipkow and Oheimb, David von and Oscar Slotosch},
    1.19 -title={{HOLCF = HOL + LCF}},journal=JFP,year=1999}
    1.20 +{Olaf M\"uller and Tobias Nipkow and Oheimb, David von and Oskar Slotosch},
    1.21 +title={{HOLCF = HOL + LCF}},journal=JFP,year=1999,volume=9,pages={191--223}}
    1.22  
    1.23  @Manual{Muzalewski:Mizar,
    1.24    title = 	 {An Outline of {PC} {Mizar}},