update in ground_2, static_2, basic_2

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

diff --git a/matita/matita/contribs/lambdadelta/ground_2/lib/relations.ma b/matita/matita/contribs/lambdadelta/ground_2/lib/relations.ma
index dbd8b678b1f7f5ab7a13fd564269d0eb2d1492d2..47524fd84d4669ebe1b4d425074aece7642941eb 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground_2/lib/relations.ma
+++ b/matita/matita/contribs/lambdadelta/ground_2/lib/relations.ma
@@ -13,6 +13,8 @@
 (**************************************************************************)
 
 include "basics/relations.ma".
+include "ground_2/xoa/and_3.ma".
+include "ground_2/xoa/ex_2_2.ma".
 include "ground_2/lib/logic.ma".
 
 (* GENERIC RELATIONS ********************************************************)