# HG changeset patch
# User oheimb
# Date 959971108 -7200
# Node ID 8a1ec8f05f1424fe0a3dfafdba8fe04b92076cbe
# Parent  daeccd9f885f87b8d59e9eb98cc7f967ff7d088b
added HOL/Prolog

diff -r daeccd9f885f -r 8a1ec8f05f14 NEWS
--- 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;