# HG changeset patch
# User wenzelm
# Date 1000748949 -7200
# Node ID 7b87c95fdf3baf9ba6a9e4d240e005f6485b2e05
# Parent  e172cbed431d849042c761d520368eed42e130fa
tuned;

diff -r e172cbed431d -r 7b87c95fdf3b doc-src/manual.bib
--- 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