# HG changeset patch
# User paulson
# Date 869733992 -7200
# Node ID d3662f90c453b64a0760a14bb7f1a1676cda4ebe
# Parent  4467015d50804f9db34f5af49aadbc012cd6dc05
set_of_list -> set

diff -r 4467015d5080 -r d3662f90c453 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)
 ------------------------------