1.1 --- a/NEWS	Thu May 20 07:36:50 2010 +0200
     1.2 +++ b/NEWS	Thu May 20 16:35:52 2010 +0200
     1.3 @@ -143,6 +143,9 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* List membership infix mem operation is only an input abbreviation.
     1.8 +INCOMPATIBILITY.
     1.9 +
    1.10  * Theory Library/Word.thy has been removed.  Use library Word/Word.thy for
    1.11  future developements;  former Library/Word.thy is still present in the AFP
    1.12  entry RSAPPS.