# HG changeset patch
# User nipkow
# Date 983978751 -3600
# Node ID 4b365574c7c4f74ce25a3b98cb6c58e1e49bf85f
# Parent  bb4ede27fcb7d403a5fa8ee639c9d3e4d9f51e54
*** empty log message ***

diff -r bb4ede27fcb7 -r 4b365574c7c4 doc-src/manual.bib
--- a/doc-src/manual.bib	Wed Mar 07 15:54:11 2001 +0100
+++ b/doc-src/manual.bib	Wed Mar 07 16:25:51 2001 +0100
@@ -102,8 +102,8 @@
 }
 
 @Misc{proofgeneral,
-  author =	 {David Aspinall and others},
-  title =	 {{P}roof {G}eneral --- {O}rganize your proofs!},
+  author =	 {David Aspinall},
+  title =	 {{P}roof {G}eneral},
   note =	 {\url{http://www.proofgeneral.org}}
 }
 
@@ -549,8 +549,8 @@
 
 @article{MuellerNvOS99,
 author=
-{Olaf M{\"u}ller and Tobias Nipkow and Oheimb, David von and Oscar Slotosch},
-title={{HOLCF = HOL + LCF}},journal=JFP,year=1999}
+{Olaf M\"uller and Tobias Nipkow and Oheimb, David von and Oskar Slotosch},
+title={{HOLCF = HOL + LCF}},journal=JFP,year=1999,volume=9,pages={191--223}}
 
 @Manual{Muzalewski:Mizar,
   title = 	 {An Outline of {PC} {Mizar}},