# HG changeset patch
# User nipkow
# Date 864404420 -7200
# Node ID c609a0119fd84e394a7803d80da836ecd050ac4c
# Parent  3a5e4930fb77d5c1ca17ee76ddb6bd56ed6365a3
arbitrary

diff -r 3a5e4930fb77 -r c609a0119fd8 NEWS
--- 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