X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground%2Farith%2Fnat_minus.ma;h=7884355703bf90c61dbf275e3b6ac6595e18ff19;hp=8129ad55c7b92e0182e6fc5e2fc9e2407b4e218d;hb=68e028d053806177e218ee1a5f8778d3011bef83;hpb=ccf5878f2a2ec7f952f140e162391708a740517b

diff --git a/matita/matita/contribs/lambdadelta/ground/arith/nat_minus.ma b/matita/matita/contribs/lambdadelta/ground/arith/nat_minus.ma
index 8129ad55c..788435570 100644
--- a/matita/matita/contribs/lambdadelta/ground/arith/nat_minus.ma
+++ b/matita/matita/contribs/lambdadelta/ground/arith/nat_minus.ma
@@ -22,7 +22,7 @@ definition nminus: nat → nat → nat ≝
            λm,n. npred^n m.
 
 interpretation
-  "minus (positive integers"
+  "minus (positive integers)"
   'minus m n = (nminus m n).
 
 (* Basic rewrites ***********************************************************)