- firs theorems on native type assignment

[helm.git] / matita / matita / contribs / lambda_delta / basic_2 / unfold / delift_lift.ma

diff --git a/matita/matita/contribs/lambda_delta/basic_2/unfold/delift_lift.ma b/matita/matita/contribs/lambda_delta/basic_2/unfold/delift_lift.ma
index a02d3db2cac92bddfe9b0c9fac3c68e2036f28a2..5ae82271da24e8ef08b4d09746d9d96f198a2334 100644 (file)
--- a/matita/matita/contribs/lambda_delta/basic_2/unfold/delift_lift.ma
+++ b/matita/matita/contribs/lambda_delta/basic_2/unfold/delift_lift.ma
@@ -12,8 +12,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "Basic_2/unfold/tpss_lift.ma".
-include "Basic_2/unfold/delift.ma".
+include "basic_2/unfold/tpss_lift.ma".
+include "basic_2/unfold/delift.ma".
 
 (* DELIFT ON TERMS **********************************************************)