- some new auxiliary lemmas

[helm.git] / matita / contribs / LAMBDA-TYPES / LambdaDelta-1 / theory.ma

diff --git a/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/theory.ma b/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/theory.ma
index c8f4922b15a96474648c322feae0d342550d2ef9..daf2a250e29990fce62e1077fad4b3b6a7811b41 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/theory.ma
+++ b/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/theory.ma
@@ -20,7 +20,7 @@ include "subst0/tlt.ma".
 
 include "tau1/cnt.ma".
 
-include "gz/props.ma".
+include "ex0/props.ma".
 
 include "wcpr0/fwd.ma".