(**************************************************************************)
include "ground_2/lib/arith_2b.ma".
-include "basic_2/rt_computation/cpms_fpbg.ma".
include "basic_2/rt_computation/cprs_cprs.ma".
include "basic_2/rt_computation/lprs_cpms.ma".
include "basic_2/dynamic/cnv_drops.ma".