X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground%2Farith%2Fpnat_iter.ma;h=9e806cfe2cf5d91612027727dfc57cc79d70405c;hb=5e72e41f4f86814e56d4b00959ccc56c71042a4c;hp=a749c5339d0a653b3027025b3f957e5e9966b556;hpb=df7a2aa19e98dc28e7f22129275a175cead49e2d;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/ground/arith/pnat_iter.ma b/matita/matita/contribs/lambdadelta/ground/arith/pnat_iter.ma
index a749c5339..9e806cfe2 100644
--- a/matita/matita/contribs/lambdadelta/ground/arith/pnat_iter.ma
+++ b/matita/matita/contribs/lambdadelta/ground/arith/pnat_iter.ma
@@ -15,7 +15,7 @@
 include "ground/notation/functions/exp_3.ma".
 include "ground/arith/pnat.ma".
 
-(* POSITIVE INTEGERS ********************************************************)
+(* ITERATED FUNCTION FOR POSITIVE INTEGERS **********************************)
 
 rec definition piter (p:pnat) (A:Type[0]) (f:A→A) (a:A) ≝
 match p with