# HG changeset patch
# User berghofe
# Date 1009804387 -3600
# Node ID 2a64142500f6e090d58bacc1371edb5db202e3c2
# Parent  c44a9fecb51887e67cabe713f88ecd4c914c390f
Added "Executing higher order logic" paper.

diff -r c44a9fecb518 -r 2a64142500f6 doc-src/manual.bib
--- a/doc-src/manual.bib	Mon Dec 31 14:08:23 2001 +0100
+++ b/doc-src/manual.bib	Mon Dec 31 14:13:07 2001 +0100
@@ -153,6 +153,16 @@
   author          = "Stefan Berghofer and Tobias Nipkow",
   pages           = "38--52"}
 
+@InProceedings{Berghofer-Nipkow:2002,
+  author =       {Stefan Berghofer and Tobias Nipkow},
+  title =        {Executing Higher Order Logic},
+  booktitle =    {Types for Proofs and Programs: TYPES'2000},
+  editor =       {P. Callaghan and Z. Luo and J. McKinna and R. Pollack},
+  series =       LNCS,
+  publisher =    Springer,
+  note =         {To appear},
+  year =         2002}
+
 @InProceedings{Berghofer-Wenzel:1999:TPHOL,
   author = 	 {Stefan Berghofer and Markus Wenzel},
   title = 	 {Inductive datatypes in {HOL} --- lessons learned in