1.1 --- a/NEWS	Mon Apr 23 21:44:36 2012 +0200
     1.2 +++ b/NEWS	Mon Apr 23 21:53:43 2012 +0200
     1.3 @@ -187,6 +187,10 @@
     1.4  
     1.5  * New type synonym 'a rel = ('a * 'a) set
     1.6  
     1.7 +* Typedef with implicit set definition is considered legacy.  Use
     1.8 +"typedef (open)" form instead, which will eventually become the
     1.9 +default.
    1.10 +
    1.11  * More default pred/set conversions on a couple of relation operations
    1.12  and predicates.  Added powers of predicate relations.  Consolidation
    1.13  of some relation theorems: