X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground_2%2Flib%2Farith.ma;h=066d9a1f04a9e17f3d826ce4ae3e978fc270b2b8;hb=7e06d9d148ae04a21943377debd933a742d0c2fa;hp=557957bea4ba1254ac01f3f96cf4c3d719c88b77;hpb=3167db4903eea2eddc60a91cfd922be3672ce077;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma b/matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma
index 557957bea..066d9a1f0 100644
--- a/matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma
+++ b/matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma
@@ -140,7 +140,7 @@ lemma plus_xSy_x_false: ∀y,x. x + S y = x → ⊥.
 
 (* Iterators ****************************************************************)
 
-(* Note: see also: lib/arithemetcs/bigops.ma *)
+(* Note: see also: lib/arithemetics/bigops.ma *)
 let rec iter (n:nat) (B:Type[0]) (op: B → B) (nil: B) ≝
   match n with
    [ O   ⇒ nil