NEWS
changeset 39302 d7728f65b353
parent 39301 e1bd8a54c40f
child 39308 c2c9bb3c52c6
     1.1 --- a/NEWS	Mon Sep 13 08:43:48 2010 +0200
     1.2 +++ b/NEWS	Mon Sep 13 11:13:15 2010 +0200
     1.3 @@ -73,7 +73,10 @@
     1.4  
     1.5  * String.literal is a type, but not a datatype. INCOMPATIBILITY.
     1.6   
     1.7 -* Renamed lemmas: expand_fun_eq -> ext_iff, expand_set_eq -> set_ext_iff
     1.8 +* Renamed lemmas:
     1.9 +  expand_fun_eq -> fun_eq_iff
    1.10 +  expand_set_eq -> set_eq_iff
    1.11 +  set_ext -> set_eqI
    1.12  
    1.13  * Renamed class eq and constant eq (for code generation) to class equal
    1.14  and constant equal, plus renaming of related facts and various tuning.