1.1 --- a/doc-src/manual.bib	Thu Sep 13 16:26:16 2001 +0200
     1.2 +++ b/doc-src/manual.bib	Mon Sep 17 19:49:09 2001 +0200
     1.3 @@ -589,7 +589,7 @@
     1.4  
     1.5  @article{MuellerNvOS99,
     1.6  author=
     1.7 -{Olaf M\"uller and Tobias Nipkow and Oheimb, David von and Oskar Slotosch},
     1.8 +{Olaf M{\"u}ller and Tobias Nipkow and Oheimb, David von and Oscar Slotosch},
     1.9  title={{HOLCF = HOL + LCF}},journal=JFP,year=1999,volume=9,pages={191--223}}
    1.10  
    1.11  @Manual{Muzalewski:Mizar,
    1.12 @@ -884,7 +884,7 @@
    1.13    pages		= {143-170},
    1.14    year		= 1985}
    1.15  
    1.16 -%replqces Paulson-LCF
    1.17 +%replaces Paulson-LCF
    1.18  @book{paulson87,
    1.19    author	= {Lawrence C. Paulson},
    1.20    title		= {Logic and Computation: Interactive proof with Cambridge