NEWS
changeset 40815 6e2d17cc0d1d
parent 40780 1cabd6f4a718
child 40821 9f32d7b8b24f
     1.1 --- a/NEWS	Mon Nov 29 12:15:14 2010 +0100
     1.2 +++ b/NEWS	Mon Nov 29 13:44:54 2010 +0100
     1.3 @@ -89,6 +89,9 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Abandoned locale equiv for equivalence relations.  INCOMPATIBILITY: use
     1.8 +equivI rather than equiv_intro.
     1.9 +
    1.10  * Code generator: globbing constant expressions "*" and "Theory.*" have been
    1.11  replaced by the more idiomatic "_" and "Theory._".  INCOMPATIBILITY.
    1.12