include "delayed_updating/syntax/path_proper.ma".
(* LIFT FOR PATH ************************************************************)
include "delayed_updating/syntax/path_proper.ma".
(* LIFT FOR PATH ************************************************************)