include "basic_2/rt_transition/cpm.ma".
(* CONTEXT-SENSITIVE PARALLEL R-TRANSITION FOR BINDERS **********************)
definition cpr_ext (h) (G): relation3 lenv bind bind ≝
include "basic_2/rt_transition/cpm.ma".
(* CONTEXT-SENSITIVE PARALLEL R-TRANSITION FOR BINDERS **********************)
definition cpr_ext (h) (G): relation3 lenv bind bind ≝