1.1 --- a/NEWS	Fri May 23 18:17:53 1997 +0200
     1.2 +++ b/NEWS	Fri May 23 18:20:20 1997 +0200
     1.3 @@ -119,6 +119,8 @@
     1.4  
     1.5  * more default rewrite rules for quantifiers, union/intersection;
     1.6  
     1.7 +* a new constant `arbitrary == @x.False';
     1.8 +
     1.9  * HOLCF/IOA replaces old HOL/IOA;
    1.10  
    1.11  * HOLCF changes: derived all rules and arities