--- a/NEWS Fri Jun 02 18:32:04 2000 +0200
+++ b/NEWS Fri Jun 02 20:38:28 2000 +0200
@@ -133,6 +133,8 @@
*** HOL ***
+* HOL/Prolog: a (bare-bones) implementation of Lambda-Prolog
+
* HOL/Algebra: new theory of rings and univariate polynomials, by
Clemens Ballarin;