# HG changeset patch
# User wenzelm
# Date 1148501707 -7200
# Node ID 3294407dd556036e5f6c5fbe97d2fed291cf4b2c
# Parent  ceacd4422b97f4147597f9f0c19dd1043427438d
tuned;

diff -r ceacd4422b97 -r 3294407dd556 NEWS
--- a/NEWS	Wed May 24 22:13:50 2006 +0200
+++ b/NEWS	Wed May 24 22:15:07 2006 +0200
@@ -51,7 +51,7 @@
 as c(nat).  Overloading is essentially simultaneous structural
 recursion over such type arguments.  Incomplete specification patterns
 impose global constraints on all occurrences, e.g. c('a * 'a) on the
-LHS means that more general c('a * 'b) will be disallowed on the RHS.
+LHS means that more general c('a * 'b) will be disallowed on any RHS.
 Command 'print_theory' outputs the normalized system of recursive
 equations, see section "definitions".