# 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) ------------------------------