X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FLAMBDA-TYPES%2Froot;h=6819b272f863d62e78a8c1dfcd929174a4c9ce5b;hb=e44ebf8a8c659b408fa765d30faf1b8c8ff2adb0;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..6819b272f 100644
--- a/helm/software/matita/contribs/LAMBDA-TYPES/root
+++ b/helm/software/matita/contribs/LAMBDA-TYPES/root
@@ -1,2 +1,2 @@
-baseuri=cic:/matita/LAMBDA-TYPES/Base-1
-include_paths= ../../../legacy 
+baseuri=cic:/matita/LAMBDA-TYPES
+include_paths= ../../legacy