(**************************************************************************)
include "basic_2/computation/acp_aaa.ma".
(**************************************************************************)
include "basic_2/computation/acp_aaa.ma".
(* CONTEXT-SENSITIVE STRONGLY NORMALIZING TERMS *****************************)
(* Properties concerning atomic arity assignment ****************************)
(* CONTEXT-SENSITIVE STRONGLY NORMALIZING TERMS *****************************)
(* Properties concerning atomic arity assignment ****************************)