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