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