Theory TA_More2

theory TA_More2
  imports Munta_Base.TA_More
begin

lemma collect_clock_pairs_concat:
  "collect_clock_pairs (concat xxs) = (⋃ x ∈ set xxs. collect_clock_pairs x)"
  unfolding collect_clock_pairs_def by auto

end