kind2-mc/kind2 — pull request #170 by AdrienChampion (2014-11-12 16:28:59+00:00)
Title: Inv gen merge

Preparing for support of condact in upward instantiation of terms in subsystems.