propagating the arithmetics library, partial commit

[helm.git] / matita / matita / contribs / lambdadelta / ground / lib / exteq.ma

diff --git a/matita/matita/contribs/lambdadelta/ground/lib/exteq.ma b/matita/matita/contribs/lambdadelta/ground/lib/exteq.ma
index 6e39281188722a81545cf2b47572a1e0003f8f2f..5b655e686a5cec35230bedbe9bc819e9d717ed6e 100644 (file)
--- 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.