- degree-based equivalene for terms

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / static / aaa.ma

diff --git a/matita/matita/contribs/lambdadelta/basic_2/static/aaa.ma b/matita/matita/contribs/lambdadelta/basic_2/static/aaa.ma
index a57a60b24a7a12b08e52e63088bdb8dc0fa8b9d2..94cfde2f55596b8fe5fe09f98ed528b4573532e1 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/static/aaa.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/static/aaa.ma
@@ -13,9 +13,9 @@
 (**************************************************************************)
 
 include "basic_2/notation/relations/atomicarity_4.ma".
-include "basic_2/grammar/aarity.ma".
-include "basic_2/grammar/lenv.ma".
-include "basic_2/grammar/genv.ma".
+include "basic_2/syntax/aarity.ma".
+include "basic_2/syntax/lenv.ma".
+include "basic_2/syntax/genv.ma".
 
 (* ATONIC ARITY ASSIGNMENT FOR TERMS ****************************************)