NEWS
changeset 19715 3294407dd556
parent 19714 ceacd4422b97
child 19783 82f365a14960
--- 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".