Wed, 24 Sep 2014 15:46:40 +0200 | blanchet | allow homogeneous nesting for SMT (co)datatypes | changeset | files |
Wed, 24 Sep 2014 15:46:25 +0200 | blanchet | interleave (co)datatypes in the right order w.r.t. dependencies | changeset | files |
Wed, 24 Sep 2014 15:46:24 +0200 | blanchet | rule out nested (co)recursion for SMT (co)datatypes | changeset | files |