--- 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".