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