1.1 --- a/NEWS Tue Jan 08 21:16:51 2013 +0100
1.2 +++ b/NEWS Wed Jan 09 12:22:09 2013 +0100
1.3 @@ -39,7 +39,7 @@
1.4 and "class ... context ...".
1.5
1.6 * Attribute "consumes" allows a negative value as well, which is
1.7 -interpreted relatively to the total number if premises of the rule in
1.8 +interpreted relatively to the total number of premises of the rule in
1.9 the target context. This form of declaration is stable when exported
1.10 from a nested 'context' with additional assumptions. It is the
1.11 preferred form for definitional packages, notably cases/rules produced