diff -r 13293a7d4a57 -r 010dfaf75064 doc-src/manual.bib --- 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},