diff -r 9727e83f0578 -r 74e8f703f5f2 doc-src/manual.bib
--- a/doc-src/manual.bib	Thu May 27 20:49:10 1999 +0200
+++ b/doc-src/manual.bib	Fri May 28 11:42:07 1999 +0200
@@ -176,7 +176,7 @@
 
 %D
 
-@Book{davey&priestley,
+@Book{davey-priestley,
   author	= {B. A. Davey and H. A. Priestley},
   title		= {Introduction to Lattices and Order},
   publisher	= CUP,
@@ -461,7 +461,7 @@
 
 @article{MuellerNvOS99,
 author=
-{Olaf M\"uller and Tobias Nipkow and Oheimb, David von and Oskar Slotosch},
+{Olaf M\"uller and Tobias Nipkow and Oheimb, David von and Oscar Slotosch},
 title={{HOLCF = HOL + LCF}},journal=JFP,year=1999}
 
 %N
@@ -511,7 +511,7 @@
   author	= {Tobias Nipkow},
   pages		= {64-74},
   crossref	= {lics8},
-  url		= {ftp://ftp.informatik.tu-muenchen.de/local/lehrstuhl/nipkow/lics93.html},
+  url		= {\url{ftp://ftp.informatik.tu-muenchen.de/local/lehrstuhl/nipkow/lics93.html}},
   keywords	= {unification}}
 
 @article{nipkow-IMP,
@@ -560,7 +560,7 @@
   author	= {S. Owre and N. Shankar and J. M. Rushby},
   organization	= {Computer Science Laboratory, SRI International},
   address	= {Menlo Park, CA},
-  note		= {Beta release},
+  note          = {Beta release},
   year		= 1993,
   month		= apr,
   url		= {\url{http://www.csl.sri.com/reports/pvs-language.dvi.Z}}}
@@ -697,7 +697,7 @@
   number	= 3,
   pages		= {353-389},
   year		= 1993,
-  url		= {ftp://ftp.cl.cam.ac.uk/ml/set-I.ps.gz}}
+  url		= {\url{ftp://ftp.cl.cam.ac.uk/ml/set-I.ps.gz}}}
 
 @Article{paulson-set-II,
   author	= {Lawrence C. Paulson},
@@ -853,7 +853,7 @@
 @Unpublished{voelker94,
   author	= {Norbert V\"olker},
   title		= {The Verification of a Timer Program using {Isabelle/HOL}},
-  url		= {ftp://ftp.fernuni-hagen.de/pub/fachb/et/dvt/projects/verification/timer.tar.gz},
+  url		= {\url{ftp://ftp.fernuni-hagen.de/pub/fachb/et/dvt/projects/verification/timer.tar.gz}},
   year		= 1994,
   month		= aug}