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