X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground_2%2Fxoa%2Fxoa_props.ma;h=408e1933dec9e3c55744a695c6c63f6a22e8238e;hb=57296e7036707343c4d8a8e990a48e5f1518eee4;hp=e917bacd22b087b846167fb63b3fabe842501653;hpb=5ea718c8b65a9ca62e8b602800667259b8b2d090;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/ground_2/xoa/xoa_props.ma b/matita/matita/contribs/lambdadelta/ground_2/xoa/xoa_props.ma
index e917bacd2..408e1933d 100644
--- a/matita/matita/contribs/lambdadelta/ground_2/xoa/xoa_props.ma
+++ b/matita/matita/contribs/lambdadelta/ground_2/xoa/xoa_props.ma
@@ -15,6 +15,8 @@
 include "basics/logic.ma".
 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.