NEWS

--- a/NEWS	Thu Sep 04 17:43:16 1997 +0200
+++ b/NEWS	Thu Sep 04 17:57:56 1997 +0200
@@ -10,7 +10,8 @@
   are rewritten to
   `P1(t) & ... & Pn(t) & Q1(t) & ... Qn(t)'
 
-* HOL/Lists: the function "set_of_list" has been renamed "set"
+* HOL/Lists: the function "set_of_list" has been renamed "set" (and its 
+  theorems too)
 
 * removed old README and Makefiles;