X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=matita%2Fcontribs%2FLAMBDA-TYPES%2FLambdaDelta-1%2Fdefinitions.ma;h=809cb323532beb01b201e5ee929b398afc6e1597;hb=a3f4c0a8b4328cb9a9fe3b4c2e577be2a258675c;hp=0129e4d0293ed129736cf56e8533282cbb250839;hpb=0357b09d42de55c9cd4fa502c5165894bfc6be45;p=helm.git

diff --git a/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/definitions.ma b/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/definitions.ma
index 0129e4d02..809cb3235 100644
--- a/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/definitions.ma
+++ b/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/definitions.ma
@@ -50,6 +50,8 @@ include "csuba/defs.ma".
 
 include "nf2/defs.ma".
 
+include "ex2/defs.ma".
+
 include "csubc/defs.ma".
 
 include "pc1/defs.ma".