# HG changeset patch
# User wenzelm
# Date 1234384816 -3600
# Node ID 2a4f000d1e4d573e628dca92e7ff2111c0d87cce
# Parent  cda1fb36a08200e55dc1f99237ce46f0510f2336
more refs;

diff -r cda1fb36a082 -r 2a4f000d1e4d doc-src/manual.bib
--- 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},