-
Paul Fiterau Brostean authored
Updated iora encoding. Param-size related constraints now are at the axiom level instead of at the transition level.
d69e4e1c
Updated iora encoding. Param-size related constraints now are at the axiom level instead of at the transition level.