Fleuriot reference
authorpaulson
Fri Jan 05 18:33:47 2001 +0100 (2001-01-05)
changeset 10796c0bcea781b3a
parent 10795 9e888d60d3e5
child 10797 028d22926a41
Fleuriot reference
doc-src/manual.bib
     1.1 --- a/doc-src/manual.bib	Fri Jan 05 18:32:57 2001 +0100
     1.2 +++ b/doc-src/manual.bib	Fri Jan 05 18:33:47 2001 +0100
     1.3 @@ -270,6 +270,16 @@
     1.4    crossref	= {extensions91},
     1.5    pages		= {157-178}}
     1.6  
     1.7 +@Article{fleuriot-jcm,
     1.8 +  author = 	 {Jacques Fleuriot and Lawrence C. Paulson},
     1.9 +  title = 	 {Mechanizing Nonstandard Real Analysis},
    1.10 +  journal = 	 {LMS Journal of Computation and Mathematics},
    1.11 +  year = 	 2000,
    1.12 +  volume =	 3,
    1.13 +  pages =	 {140-190},
    1.14 +  note =	 {\url{http://www.lms.ac.uk/jcm/3/lms1999-027/}}
    1.15 +}
    1.16 +
    1.17  @TechReport{frost93,
    1.18    author	= {Jacob Frost},
    1.19    title		= {A Case Study of Co-induction in {Isabelle HOL}},