- Properties S3 and S5 of context-sensitive strongly normalizing terms

[helm.git] / matita / matita / contribs / lambda_delta / apps_2 / functional / subst.ma

diff --git a/matita/matita/contribs/lambda_delta/apps_2/functional/subst.ma b/matita/matita/contribs/lambda_delta/apps_2/functional/subst.ma
index 6aa75625d26e063e5d27fd4a2971639a685f464e..bbeeb10f425978879a02e51b3b52bf193871e3ee 100644 (file)
--- a/matita/matita/contribs/lambda_delta/apps_2/functional/subst.ma
+++ b/matita/matita/contribs/lambda_delta/apps_2/functional/subst.ma
@@ -12,8 +12,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "Basic_2/unfold/delift_lift.ma".
-include "Apps_2/functional/lift.ma".
+include "basic_2/unfold/delift_lift.ma".
+include "apps_2/functional/lift.ma".
 
 (* CORE SUBSTITUTION ********************************************************)