include "LIN/joint_LTL_LIN_semantics_paolo.ma".
include "LTL/LTL_paolo.ma". (* CSC: syntax.ma in RTLabs *)

definition LTL_semantics : sem_params ≝
  make_sem_graph_params LTL (LTL_LIN_semantics ?).