update in ground_2, static_2, basic_2

[helm.git] / matita / matita / contribs / lambdadelta / ground_2 / lib / logic.ma

diff --git a/matita/matita/contribs/lambdadelta/ground_2/lib/logic.ma b/matita/matita/contribs/lambdadelta/ground_2/lib/logic.ma
index 852e4e9ce3faee53da8c5b06c66b7d60643ce09e..7f0fedb871fb2e01f21a4e54ebc3e885d44212c5 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground_2/lib/logic.ma
+++ b/matita/matita/contribs/lambdadelta/ground_2/lib/logic.ma
@@ -17,7 +17,6 @@ include "ground_2/notation/xoa/false_0.ma".
 include "ground_2/notation/xoa/true_0.ma".
 include "ground_2/notation/xoa/or_2.ma".
 include "ground_2/notation/xoa/and_2.ma".
-include "ground_2/xoa/xoa.ma".
 
 interpretation "logical false" 'false = False.