--- a/doc-src/manual.bib Mon May 10 15:16:49 1999 +0200
+++ b/doc-src/manual.bib Mon May 10 15:17:14 1999 +0200
@@ -547,7 +547,7 @@
note = {Beta release},
year = 1993,
month = apr,
- url = {\verb|http://www.csl.sri.com/reports/pvs-language.dvi.Z|}}
+ url = {\url{http://www.csl.sri.com/reports/pvs-language.dvi.Z}}}
%P
@@ -572,7 +572,7 @@
{Isabelle})},
pages = {246-274},
crossref = {colog88},
- url = {http://www.cl.cam.ac.uk/Research/Reports/TR175-lcp-simple.dvi.gz}}
+ url = {\url{http://www.cl.cam.ac.uk/Research/Reports/TR175-lcp-simple.dvi.gz}}}
@Article{paulson-coind,
author = {Lawrence C. Paulson},
@@ -603,7 +603,7 @@
number = 3,
pages = {363-397},
year = 1989,
- url = {http://www.cl.cam.ac.uk/Research/Reports/TR130-lcp-generic-theorem-prover.dvi.gz}}
+ url = {\url{http://www.cl.cam.ac.uk/Research/Reports/TR130-lcp-generic-theorem-prover.dvi.gz}}}
%replaces paulson-final
@Article{paulson-mscs,
@@ -670,7 +670,7 @@
volume = 3,
pages = {237-258},
year = 1986,
- url = {http://www.cl.cam.ac.uk/Research/Reports/TR82-lcp-higher-order-resolution.dvi.gz}}
+ url = {\url{http://www.cl.cam.ac.uk/Research/Reports/TR82-lcp-higher-order-resolution.dvi.gz}}}
@Article{paulson-set-I,
author = {Lawrence C. Paulson},
@@ -692,7 +692,7 @@
number = 2,
pages = {167-215},
year = 1995,
- url = {http://www.cl.cam.ac.uk/Research/Reports/TR312-lcp-set-II.ps.gz}}
+ url = {\url{http://www.cl.cam.ac.uk/Research/Reports/TR312-lcp-set-II.ps.gz}}}
@article{paulson85,
author = {Lawrence C. Paulson},
@@ -715,7 +715,7 @@
title = {{Isabelle}: The Next 700 Theorem Provers},
crossref = {odifreddi90},
pages = {361-386},
- url = {http://www.cl.cam.ac.uk/Research/Reports/TR143-lcp-experience.dvi.gz}}
+ url = {\url{http://www.cl.cam.ac.uk/Research/Reports/TR143-lcp-experience.dvi.gz}}}
% replaces paulson-ns and paulson-security
@Article{paulson-jcs,
@@ -776,7 +776,7 @@
year = 1995,
number = 364,
month = may,
- url = {http://www.cl.cam.ac.uk:80/ftp/papers/reports/TR364-or200-church-rosser-isabelle.ps.gz}}
+ url = {\url{http://www.cl.cam.ac.uk:80/ftp/papers/reports/TR364-or200-church-rosser-isabelle.ps.gz}}}
@Book{reeves90,
author = {Steve Reeves and Michael Clarke},