-include "static_2/notation/relations/stareqsn_6.ma".
-include "static_2/syntax/genv.ma".
-include "static_2/static/reqx.ma".
+include "static_2/notation/relations/approxeqsn_6.ma".
+include "static_2/syntax/teqx.ma".
+include "static_2/static/feqg.ma".