NEWS

--- a/NEWS	Wed Jul 23 17:44:15 1997 +0200
+++ b/NEWS	Thu Jul 24 10:46:32 1997 +0200
@@ -5,6 +5,8 @@
 New in Isabelle???? (DATE ????)
 -------------------------------
 
+* HOL/Lists: the function "set_of_list" has been renamed "set"
+
 * removed old README and Makefiles;
 
 * removed obsolete init_pps and init_database;
@@ -19,7 +21,6 @@
 * added simplification meta rules
     (asm_)(full_)simplify: simpset -> thm -> thm;
 
-
 New in Isabelle94-8 (May 1997)
 ------------------------------