author | oheimb |
Fri, 02 Jun 2000 20:38:28 +0200 | |
changeset 9028 | 8a1ec8f05f14 |
parent 9027 | daeccd9f885f |
child 9029 | 2962c80230e3 |
1.1 --- a/NEWS Fri Jun 02 18:32:04 2000 +0200 1.2 +++ b/NEWS Fri Jun 02 20:38:28 2000 +0200 1.3 @@ -133,6 +133,8 @@ 1.4 1.5 *** HOL *** 1.6 1.7 +* HOL/Prolog: a (bare-bones) implementation of Lambda-Prolog 1.8 + 1.9 * HOL/Algebra: new theory of rings and univariate polynomials, by 1.10 Clemens Ballarin; 1.11