include "LIN/joint_LTL_LIN_semantics.ma". include "LTL/LTL.ma". (* CSC: syntax.ma in RTLabs *) definition LTL_semantics : sem_params ≝ make_sem_graph_params LTL LTL_LIN_semantics.