set_of_list -> set
authorpaulson
Thu Jul 24 10:46:32 1997 +0200 (1997-07-24)
changeset 3570d3662f90c453
parent 3569 4467015d5080
child 3571 f1c8fa0f0bf9
set_of_list -> set
NEWS
     1.1 --- a/NEWS	Wed Jul 23 17:44:15 1997 +0200
     1.2 +++ b/NEWS	Thu Jul 24 10:46:32 1997 +0200
     1.3 @@ -5,6 +5,8 @@
     1.4  New in Isabelle???? (DATE ????)
     1.5  -------------------------------
     1.6  
     1.7 +* HOL/Lists: the function "set_of_list" has been renamed "set"
     1.8 +
     1.9  * removed old README and Makefiles;
    1.10  
    1.11  * removed obsolete init_pps and init_database;
    1.12 @@ -19,7 +21,6 @@
    1.13  * added simplification meta rules
    1.14      (asm_)(full_)simplify: simpset -> thm -> thm;
    1.15  
    1.16 -
    1.17  New in Isabelle94-8 (May 1997)
    1.18  ------------------------------
    1.19