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