include "basic_2/rt_computation/lpxs.ma".
(* UNBOUND PARALLEL RT-COMPUTATION FOR FULL LOCAL ENVIRONMENTS **************)
(* Forward lemmas with length for local environments ************************)
include "basic_2/rt_computation/lpxs.ma".
(* UNBOUND PARALLEL RT-COMPUTATION FOR FULL LOCAL ENVIRONMENTS **************)
(* Forward lemmas with length for local environments ************************)