(* *)
(**************************************************************************)
-include "basic_2/substitution/lift.ma".
+include "basic_2/relocation/lift.ma".
include "apps_2/functional/notation.ma".
(* FUNCTIONAL RELOCATION ****************************************************)