some renaming and some typos corrected ...

[helm.git] / matita / matita / contribs / lambdadelta / ground_2 / lib / arith.ma

diff --git a/matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma b/matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma
index 557957bea4ba1254ac01f3f96cf4c3d719c88b77..066d9a1f04a9e17f3d826ce4ae3e978fc270b2b8 100644 (file)
--- 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