λδ site update

[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 81d324bad7680885262a6f2c3ea5a6f9a63d9a43..d62edd8ede2d6c83f218507176b313f7f874fe64 100644 (file)
--- 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-.
-