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