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=d62edd8ede2d6c83f218507176b313f7f874fe64;hp=81d324bad7680885262a6f2c3ea5a6f9a63d9a43;hb=9bdda2beaa7b0f836e3700a2e2458761e8eee06d;hpb=c41d664b002c148fe5f856aeb8cbe13b154cc20d

diff --git a/matita/matita/contribs/lambdadelta/ground/lib/exteq.ma b/matita/matita/contribs/lambdadelta/ground/lib/exteq.ma
index 81d324bad..d62edd8ed 100644
--- a/matita/matita/contribs/lambdadelta/ground/lib/exteq.ma
+++ b/matita/matita/contribs/lambdadelta/ground/lib/exteq.ma
@@ -36,4 +36,3 @@ lemma exteq_sym (A) (B): symmetric … (exteq A B).
 
 lemma exteq_trans (A) (B): Transitive … (exteq A B).
 /2 width=1 by exteq_repl/ qed-.
-