(* *)
(**************************************************************************)
-include "terms/term.ma".
+include "lambda/terms/term.ma".
+
+include "lambda/notation/functions/lift_3.ma".
(* RELOCATION ***************************************************************)