1.1 --- a/doc-src/manual.bib	Fri Sep 26 11:04:21 2003 +0200
     1.2 +++ b/doc-src/manual.bib	Fri Sep 26 11:08:18 2003 +0200
     1.3 @@ -863,6 +863,22 @@
     1.4    month		= dec,
     1.5    pages		= {291-323}}
     1.6  
     1.7 +@InCollection{paulson-fixedpt-milner,
     1.8 +  author	= {Lawrence C. Paulson},
     1.9 +  title		= {A Fixedpoint Approach to (Co)inductive and
    1.10 +                  (Co)datatype Definitions},
    1.11 +  pages		= {187-211},
    1.12 +  crossref	= {milner-fest}}
    1.13 +
    1.14 +@book{milner-fest,
    1.15 +  title		= {Proof, Language, and Interaction: 
    1.16 +                   Essays in Honor of {Robin Milner}},
    1.17 +  booktitle	= {Proof, Language, and Interaction: 
    1.18 +                   Essays in Honor of {Robin Milner}},
    1.19 +  publisher	= {MIT Press},
    1.20 +  year		= 2000,
    1.21 +  editor	= {Gordon Plotkin and Colin Stirling and Mads Tofte}}
    1.22 +
    1.23  @InCollection{paulson-handbook,
    1.24    author	= {Lawrence C. Paulson},
    1.25    title		= {Designing a Theorem Prover},