--- 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}},