# HG changeset patch
# User paulson
# Date 1064567298 -7200
# Node ID 69e48401da98915d8a50c2ca4d3cd04023c84513
# Parent  180cd69a5dbbde0ac30580b3edcdc5c5ae90007b
new reference

diff -r 180cd69a5dbb -r 69e48401da98 doc-src/manual.bib
--- a/doc-src/manual.bib	Fri Sep 26 11:04:21 2003 +0200
+++ b/doc-src/manual.bib	Fri Sep 26 11:08:18 2003 +0200
@@ -863,6 +863,22 @@
   month		= dec,
   pages		= {291-323}}
 
+@InCollection{paulson-fixedpt-milner,
+  author	= {Lawrence C. Paulson},
+  title		= {A Fixedpoint Approach to (Co)inductive and
+                  (Co)datatype Definitions},
+  pages		= {187-211},
+  crossref	= {milner-fest}}
+
+@book{milner-fest,
+  title		= {Proof, Language, and Interaction: 
+                   Essays in Honor of {Robin Milner}},
+  booktitle	= {Proof, Language, and Interaction: 
+                   Essays in Honor of {Robin Milner}},
+  publisher	= {MIT Press},
+  year		= 2000,
+  editor	= {Gordon Plotkin and Colin Stirling and Mads Tofte}}
+
 @InCollection{paulson-handbook,
   author	= {Lawrence C. Paulson},
   title		= {Designing a Theorem Prover},