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