-- import the calculus rules and transformations
import LR-Contexts.inp
import LR-StandardReductions.inp
import LR-Answers.inp
import LR-Transformations.inp
import LR-Unions.inp
-- overlap all right hand sides of each transformation with all left hand sides of each normal
-- order reduction
union (abscpcx,0) = {(abs,0),(cpcx,0)}

import LR-COMMUTE.lbeta.cp.lll.inp
import LR-COMMUTE.seq.case.xch.cpx.inp
import LR-COMMUTE.cpcx-in.inp
import LR-COMMUTE.cpcx-e.inp
import LR-COMMUTE.abs.gc.ucp.inp