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