(**************************************************************************)
include "basic_2/reducibility/ltpr_tps.ma".
-include "basic_2/reducibility/cpr_ltpss.ma".
+include "basic_2/reducibility/cpr_ltpss_sn.ma".
include "basic_2/reducibility/lfpr.ma".
include "basic_2/computation/cprs.ma".