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