(**************************************************************************)
include "Basic_2/computation/acp_cr.ma".
(**************************************************************************)
include "Basic_2/computation/acp_cr.ma".
(* CONTEXT-SENSITIVE STRONGLY NORMALIZING TERMS *****************************)
(* Advanced properties ******************************************************)
(* CONTEXT-SENSITIVE STRONGLY NORMALIZING TERMS *****************************)
(* Advanced properties ******************************************************)