include "basic_2/rt_computation/cpmre.ma".
include "basic_2/rt_computation/cprs.ma".
(* EVALUATION FOR CONTEXT-SENSITIVE PARALLEL R-TRANSITION ON TERMS ***********)
include "basic_2/rt_computation/cpmre.ma".
include "basic_2/rt_computation/cprs.ma".
(* EVALUATION FOR CONTEXT-SENSITIVE PARALLEL R-TRANSITION ON TERMS ***********)