--- a/doc-src/manual.bib Wed Feb 11 21:39:59 2009 +0100
+++ b/doc-src/manual.bib Wed Feb 11 21:40:16 2009 +0100
@@ -667,6 +667,16 @@
pages = {341-386},
crossref = {birtwistle89}}
+@Article{Miller:1991,
+ author = {Dale Miller},
+ title = {A Logic Programming Language with Lambda-Abstraction, Function Variables,
+ and Simple Unification},
+ journal = {Journal of Logic and Computation},
+ year = 1991,
+ volume = 1,
+ number = 4
+}
+
@Article{miller-mixed,
Author = {Dale Miller},
Title = {Unification Under a Mixed Prefix},
@@ -1196,6 +1206,15 @@
pages = {578-596},
crossref = {fme93}}
+@Article{Schroeder-Heister:1984,
+ author = {Peter Schroeder-Heister},
+ title = {A Natural Extension of Natural Deduction},
+ journal = {Journal of Symbolic Logic},
+ year = 1984,
+ volume = 49,
+ number = 4
+}
+
@inproceedings{slind-tfl,
author = {Konrad Slind},
title = {Function Definition in Higher Order Logic},