kind2-mc/kind2 — pull request #171 by AdrienChampion (2014-11-12 21:45:00+00:00)
Title: Bugfix kind valids as invariants

Base and step were not using valid properties as invariants due to a misunderstanding of how Event.update_trans_sys works.
Also, removed obsolete Event.update_trans_sys_tsugi.