# HG changeset patch
# User paulson
# Date 978716027 -3600
# Node ID c0bcea781b3ac0488f1886ca0c879e84148fd257
# Parent  9e888d60d3e5413b9d400eaa5952fa15a9d0f8d4
Fleuriot reference

diff -r 9e888d60d3e5 -r c0bcea781b3a doc-src/manual.bib
--- a/doc-src/manual.bib	Fri Jan 05 18:32:57 2001 +0100
+++ b/doc-src/manual.bib	Fri Jan 05 18:33:47 2001 +0100
@@ -270,6 +270,16 @@
   crossref	= {extensions91},
   pages		= {157-178}}
 
+@Article{fleuriot-jcm,
+  author = 	 {Jacques Fleuriot and Lawrence C. Paulson},
+  title = 	 {Mechanizing Nonstandard Real Analysis},
+  journal = 	 {LMS Journal of Computation and Mathematics},
+  year = 	 2000,
+  volume =	 3,
+  pages =	 {140-190},
+  note =	 {\url{http://www.lms.ac.uk/jcm/3/lms1999-027/}}
+}
+
 @TechReport{frost93,
   author	= {Jacob Frost},
   title		= {A Case Study of Co-induction in {Isabelle HOL}},