(* *)
(**************************************************************************)
-include "basic_2/syntax/tdeq_tdeq.ma".
-include "basic_2/rt_transition/lfpx_fqup.ma".
include "basic_2/rt_transition/lfpx_lfdeq.ma".
include "basic_2/rt_computation/cpxs.ma".