X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_1%2Fiso%2Fdefs.ma;fp=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_1%2Fiso%2Fdefs.ma;h=54a5e01fc20a05e080a0f6c29d55b8310b8e2f93;hb=538c5526a6b3c3af44f92c9cc67d82f28995da96;hp=202b8a30022ab36133a6b4dc9ca696cdb13d7f7c;hpb=14a8276e6d877c2281a1fda452ed3e4c150f5d39;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_1/iso/defs.ma b/matita/matita/contribs/lambdadelta/basic_1/iso/defs.ma
index 202b8a300..54a5e01fc 100644
--- a/matita/matita/contribs/lambdadelta/basic_1/iso/defs.ma
+++ b/matita/matita/contribs/lambdadelta/basic_1/iso/defs.ma
@@ -14,7 +14,7 @@
 
 (* This file was automatically generated: do not edit *********************)
 
-include "Basic-1/T/defs.ma".
+include "basic_1/T/defs.ma".
 
 inductive iso: T \to (T \to Prop) \def
 | iso_sort: \forall (n1: nat).(\forall (n2: nat).(iso (TSort n1) (TSort n2)))