Procedural: id tactics are not counted, ie they are placeholders

[helm.git] / helm / software / matita / contribs / LAMBDA-TYPES / depends

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/depends b/helm/software/matita/contribs/LAMBDA-TYPES/depends
index 65346b5083f7a1e47ce7a29ea0886379c556cb49..d205172eb1b68b1b0eb0d48325eeecacac8bbd63 100644 (file)
--- 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