(* *)
(**************************************************************************)
-include "paths/standard_precedence.ma".
+include "lambda/paths/standard_precedence.ma".
(* STANDARD ORDER ************************************************************)