X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FLAMBDA-TYPES%2FBase-2%2Froot;h=ef1f7b21ec4075d6319a6ffe9180720002cc402c;hb=474586cb3917d3961bbf1e8b818b83073dc510f2;hp=229adbd73f3d32cbff7c6eb11549e013f11efe37;hpb=5c1b44dfefa085fbb56e23047652d3650be9d855;p=helm.git

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/root b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/root
index 229adbd73..ef1f7b21e 100644
--- a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/root
+++ b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/root
@@ -1,2 +1 @@
 baseuri=cic:/matita/LAMBDA-TYPES/Base-2
-include_paths= ../Base-1 ../../../legacy