- degree-based equivalene for terms

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / static / lfeq_lfeq.ma

diff --git a/matita/matita/contribs/lambdadelta/basic_2/static/lfeq_lfeq.ma b/matita/matita/contribs/lambdadelta/basic_2/static/lfeq_lfeq.ma
index 602c5868561dd0d339048b563513bf655d41ebb5..677f53973585f56aa2be1b980877a53e12128936 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/static/lfeq_lfeq.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/static/lfeq_lfeq.ma
@@ -13,7 +13,6 @@
 (**************************************************************************)
 
 include "basic_2/relocation/lreq_lreq.ma".
-include "basic_2/static/frees_frees.ma".
 include "basic_2/static/lfxs_lfxs.ma".
 include "basic_2/static/lfeq_lreq.ma".