X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FLAMBDA-TYPES%2Fdepends;h=d205172eb1b68b1b0eb0d48325eeecacac8bbd63;hb=a88be1ca42c0969dbab9a5c76240f5931df876d9;hp=65346b5083f7a1e47ce7a29ea0886379c556cb49;hpb=de77f79d60ee3c1d30fe03469172950b557441f3;p=helm.git

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/depends b/helm/software/matita/contribs/LAMBDA-TYPES/depends
index 65346b508..d205172eb 100644
--- a/helm/software/matita/contribs/LAMBDA-TYPES/depends
+++ b/helm/software/matita/contribs/LAMBDA-TYPES/depends
@@ -204,7 +204,7 @@ Basic-2/nf2/arity.ma Basic-2/nf2/arity.mma
 Basic-1/ty3/subst1.ma Basic-1/getl/getl.ma Basic-1/pc3/subst1.ma Basic-1/ty3/props.ma
 Basic-2/subst0/fwd.mma Basic-1/subst0/fwd.ma Basic-2/lift/props.ma Basic-2/subst0/defs.ma
 Basic-2/pc1/props.mma Basic-1/pc1/props.ma Basic-2/pc1/defs.ma Basic-2/pr1/pr1.ma
-Legacy-2/preamble.ma Legacy-1/preamble.ma Legacy-1/coq/defs.ma Legacy-1/coq/props.ma Legacy-1/definitions.ma
+Legacy-2/preamble.ma Legacy-1/preamble.ma Legacy-1/coq/defs.ma Legacy-1/coq/props.ma Legacy-1/theory.ma
 Basic-2/csuba/drop.mma Basic-1/csuba/drop.ma Basic-2/csuba/fwd.ma Basic-2/drop/fwd.ma
 Basic-2/csubc/fwd.mma Basic-1/csubc/fwd.ma Basic-2/csubc/defs.ma
 Basic-1/csubc/csuba.ma Basic-1/csubc/defs.ma Basic-1/sc3/props.ma