(* *)
(**************************************************************************)
-include "basic_2/computation/fpbs.ma".
+include "basic_2/rt_computation/fpbs.ma".
-(* "QRST" PARALLEL COMPUTATION FOR CLOSURES *********************************)
+(* PARALLEL RST-COMPUTATION FOR CLOSURES ************************************)
(* Main properties **********************************************************)