NEWS
changeset 50778 15dc91cf4750
parent 50772 6973b3f41334
child 50836 c95af99e003b
--- a/NEWS	Tue Jan 08 21:16:51 2013 +0100
+++ b/NEWS	Wed Jan 09 12:22:09 2013 +0100
@@ -39,7 +39,7 @@
 and "class ... context ...".
 
 * Attribute "consumes" allows a negative value as well, which is
-interpreted relatively to the total number if premises of the rule in
+interpreted relatively to the total number of premises of the rule in
 the target context.  This form of declaration is stable when exported
 from a nested 'context' with additional assumptions.  It is the
 preferred form for definitional packages, notably cases/rules produced