NEWS
changeset 50778 15dc91cf4750
parent 50772 6973b3f41334
child 50836 c95af99e003b
     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