X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground%2Flib%2Fexteq.ma;h=5b655e686a5cec35230bedbe9bc819e9d717ed6e;hp=6e39281188722a81545cf2b47572a1e0003f8f2f;hb=6604a232815858a6c75dd25ac45abd68438077ff;hpb=888840f6b3a71d3d686b53b702d362ab90ab0038

diff --git a/matita/matita/contribs/lambdadelta/ground/lib/exteq.ma b/matita/matita/contribs/lambdadelta/ground/lib/exteq.ma
index 6e3928118..5b655e686 100644
--- a/matita/matita/contribs/lambdadelta/ground/lib/exteq.ma
+++ b/matita/matita/contribs/lambdadelta/ground/lib/exteq.ma
@@ -24,7 +24,7 @@ interpretation
   "extensional equivalence"
   'DotEq A B f1 f2 = (exteq A B f1 f2).
 
-(* Basic Constructions ******************************************************)
+(* Basic constructions ******************************************************)
 
 lemma exteq_refl (A) (B): reflexive … (exteq A B).
 // qed.