include "basic_2/reduction/crr_lift.ma".
include "basic_2/reduction/cir.ma".
-(* CONTEXT-SENSITIVE IRREDUCIBLE TERMS **************************************)
+(* IRREDUCIBLE TERMS FOR CONTEXT-SENSITIVE REDUCTION ************************)
(* Properties on relocation *************************************************)