X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FLAMBDA-TYPES%2Froot;h=ca1729d659b1514b67a1207bcff7dfa9e0770b69;hb=be0ca791abbf1084b7218f2d17ab48462fbb3049;hp=43a60f9430ee8a975af7a97925d9b90ea41378f2;hpb=0e9753cbccef485911e2c2de1b4cdcae592906b9;p=helm.git

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