include "basic_2/relocation/ldrop_append.ma".
include "basic_2/reduction/crx.ma".
-(* CONTEXT-SENSITIVE EXTENDED REDUCIBLE TERMS *******************************)
+(* REDUCIBLE TERMS FOR CONTEXT-SENSITIVE EXTENDED REDUCTION *****************)
(* Advanved properties ******************************************************)