1.1 --- a/doc-src/manual.bib Thu May 27 20:49:10 1999 +0200
1.2 +++ b/doc-src/manual.bib Fri May 28 11:42:07 1999 +0200
1.3 @@ -176,7 +176,7 @@
1.4
1.5 %D
1.6
1.7 -@Book{davey&priestley,
1.8 +@Book{davey-priestley,
1.9 author = {B. A. Davey and H. A. Priestley},
1.10 title = {Introduction to Lattices and Order},
1.11 publisher = CUP,
1.12 @@ -461,7 +461,7 @@
1.13
1.14 @article{MuellerNvOS99,
1.15 author=
1.16 -{Olaf M\"uller and Tobias Nipkow and Oheimb, David von and Oskar Slotosch},
1.17 +{Olaf M\"uller and Tobias Nipkow and Oheimb, David von and Oscar Slotosch},
1.18 title={{HOLCF = HOL + LCF}},journal=JFP,year=1999}
1.19
1.20 %N
1.21 @@ -511,7 +511,7 @@
1.22 author = {Tobias Nipkow},
1.23 pages = {64-74},
1.24 crossref = {lics8},
1.25 - url = {ftp://ftp.informatik.tu-muenchen.de/local/lehrstuhl/nipkow/lics93.html},
1.26 + url = {\url{ftp://ftp.informatik.tu-muenchen.de/local/lehrstuhl/nipkow/lics93.html}},
1.27 keywords = {unification}}
1.28
1.29 @article{nipkow-IMP,
1.30 @@ -560,7 +560,7 @@
1.31 author = {S. Owre and N. Shankar and J. M. Rushby},
1.32 organization = {Computer Science Laboratory, SRI International},
1.33 address = {Menlo Park, CA},
1.34 - note = {Beta release},
1.35 + note = {Beta release},
1.36 year = 1993,
1.37 month = apr,
1.38 url = {\url{http://www.csl.sri.com/reports/pvs-language.dvi.Z}}}
1.39 @@ -697,7 +697,7 @@
1.40 number = 3,
1.41 pages = {353-389},
1.42 year = 1993,
1.43 - url = {ftp://ftp.cl.cam.ac.uk/ml/set-I.ps.gz}}
1.44 + url = {\url{ftp://ftp.cl.cam.ac.uk/ml/set-I.ps.gz}}}
1.45
1.46 @Article{paulson-set-II,
1.47 author = {Lawrence C. Paulson},
1.48 @@ -853,7 +853,7 @@
1.49 @Unpublished{voelker94,
1.50 author = {Norbert V\"olker},
1.51 title = {The Verification of a Timer Program using {Isabelle/HOL}},
1.52 - url = {ftp://ftp.fernuni-hagen.de/pub/fachb/et/dvt/projects/verification/timer.tar.gz},
1.53 + url = {\url{ftp://ftp.fernuni-hagen.de/pub/fachb/et/dvt/projects/verification/timer.tar.gz}},
1.54 year = 1994,
1.55 month = aug}
1.56