renaming

[helm.git] / helm / software / matita / contribs / LAMBDA-TYPES / LambdaDelta-1 / root

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/root b/helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/root
index cca019073d971bcd12bf3860e22c35d2dc0cfa98..73f353af753db04f2de12fdb30d9ee2788983211 100644 (file)
--- a/helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/root
+++ b/helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/root
@@ -1,2 +1 @@
 baseuri=cic:/matita/LAMBDA-TYPES/LambdaDelta-1
-include_paths= ../Base-1