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

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 ***********************************************************)