1.1 --- a/doc-src/manual.bib	Wed Feb 11 21:39:59 2009 +0100
     1.2 +++ b/doc-src/manual.bib	Wed Feb 11 21:40:16 2009 +0100
     1.3 @@ -667,6 +667,16 @@
     1.4    pages		= {341-386},
     1.5    crossref	= {birtwistle89}}
     1.6  
     1.7 +@Article{Miller:1991,
     1.8 +  author = 	 {Dale Miller},
     1.9 +  title = 	 {A Logic Programming Language with Lambda-Abstraction, Function Variables,
    1.10 +    and Simple Unification},
    1.11 +  journal = 	 {Journal of Logic and Computation},
    1.12 +  year = 	 1991,
    1.13 +  volume =	 1,
    1.14 +  number =	 4
    1.15 +}
    1.16 +
    1.17  @Article{miller-mixed,
    1.18    Author	= {Dale Miller},
    1.19    Title		= {Unification Under a Mixed Prefix},
    1.20 @@ -1196,6 +1206,15 @@
    1.21    pages		= {578-596},
    1.22    crossref	= {fme93}}
    1.23  
    1.24 +@Article{Schroeder-Heister:1984,
    1.25 +  author =       {Peter Schroeder-Heister},
    1.26 +  title =        {A Natural Extension of Natural Deduction},
    1.27 +  journal =      {Journal of Symbolic Logic},
    1.28 +  year =         1984,
    1.29 +  volume =       49,
    1.30 +  number =       4
    1.31 +}
    1.32 +
    1.33  @inproceedings{slind-tfl,
    1.34    author	= {Konrad Slind},
    1.35    title		= {Function Definition in Higher Order Logic},