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}},