(* v GNU General Public License Version 2 *)
(* *)
(**************************************************************************)
(* v GNU General Public License Version 2 *)
(* *)
(**************************************************************************)
include "basic_2/computation/lcprs_cprs.ma".
(* CONTEXT-SENSITIVE PARALLEL COMPUTATION ON LOCAL ENVIRONMENTS *************)
(* Advanced properties ******************************************************)
include "basic_2/computation/lcprs_cprs.ma".
(* CONTEXT-SENSITIVE PARALLEL COMPUTATION ON LOCAL ENVIRONMENTS *************)
(* Advanced properties ******************************************************)