# HG changeset patch
# User paulson
# Date 873388676 -7200
# Node ID f87dd7b68d8cdd87b1877fc6ea14817086983b85
# Parent  48b8efdd1b80e79009a55c93559d7552e5f2aed5
set_of_list

diff -r 48b8efdd1b80 -r f87dd7b68d8c 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;