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

[helm.git] / matita / matita / contribs / lambda_delta / ground_2 / arith.ma

diff --git a/matita/matita/contribs/lambda_delta/ground_2/arith.ma b/matita/matita/contribs/lambda_delta/ground_2/arith.ma
index 39d28c959182d17c31fa4a851751928c3fc12b8d..0bdcd748f98ea9e0eacfef97f9db67c0e1180ca2 100644 (file)
--- a/matita/matita/contribs/lambda_delta/ground_2/arith.ma
+++ b/matita/matita/contribs/lambda_delta/ground_2/arith.ma
@@ -13,7 +13,7 @@
 (**************************************************************************)
 
 include "arithmetics/nat.ma".
-include "Ground_2/star.ma".
+include "ground_2/star.ma".
 
 (* ARITHMETICAL PROPERTIES **************************************************)