Added "Executing higher order logic" paper.
1.1 --- a/doc-src/manual.bib Mon Dec 31 14:08:23 2001 +0100
1.2 +++ b/doc-src/manual.bib Mon Dec 31 14:13:07 2001 +0100
1.3 @@ -153,6 +153,16 @@
1.4 author = "Stefan Berghofer and Tobias Nipkow",
1.5 pages = "38--52"}
1.6
1.7 +@InProceedings{Berghofer-Nipkow:2002,
1.8 + author = {Stefan Berghofer and Tobias Nipkow},
1.9 + title = {Executing Higher Order Logic},
1.10 + booktitle = {Types for Proofs and Programs: TYPES'2000},
1.11 + editor = {P. Callaghan and Z. Luo and J. McKinna and R. Pollack},
1.12 + series = LNCS,
1.13 + publisher = Springer,
1.14 + note = {To appear},
1.15 + year = 2002}
1.16 +
1.17 @InProceedings{Berghofer-Wenzel:1999:TPHOL,
1.18 author = {Stefan Berghofer and Markus Wenzel},
1.19 title = {Inductive datatypes in {HOL} --- lessons learned in