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},