include "basic_2/reduction/crx_lift.ma".
include "basic_2/reduction/cix.ma".
-(* CONTEXT-SENSITIVE EXTENDED IRREDUCIBLE TERMS *****************************)
+(* IRREDUCIBLE TERMS FOR CONTEXT-SENSITIVE EXTENDED REDUCTION ***************)
(* Advanced properties ******************************************************)