include "basic_2/rt_transition/cnx.ma".
(* NORMAL TERMS FOR UNBOUND CONTEXT-SENSITIVE PARALLEL RT-TRANSITION ********)
(* Advanced properties ******************************************************)
include "basic_2/rt_transition/cnx.ma".
(* NORMAL TERMS FOR UNBOUND CONTEXT-SENSITIVE PARALLEL RT-TRANSITION ********)
(* Advanced properties ******************************************************)