X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FLAMBDA-TYPES%2FLambdaDelta-1%2Fpreamble.ma;h=5b67c95f8b94ef7ae44749611696b1b8c1a40193;hb=476068e4c7ac989e42c84affbeeb95873edac24f;hp=54eb188fb805f548e60ef4a11496f4087b10747d;hpb=831af787465e1bff886e22ee14b68c8f1bb0177c;p=helm.git

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/preamble.ma b/helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/preamble.ma
index 54eb188fb..5b67c95f8 100644
--- a/helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/preamble.ma
+++ b/helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/preamble.ma
@@ -14,4 +14,4 @@
 
 set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/preamble".
 
-include "../Base/theory.ma".
+include "../Base-1/theory.ma".