| 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 |
| Wed, 24 Sep 2014 15:46:23 +0200 | blanchet | gracefully handle types like 'enat' whose coinductive view is registered using 'free_constructors' | changeset | files |
| Wed, 24 Sep 2014 15:46:11 +0200 | blanchet | tuning | changeset | files |
| Wed, 24 Sep 2014 15:45:55 +0200 | blanchet | simpler proof | changeset | files |
| Wed, 24 Sep 2014 11:09:05 +0200 | nipkow | added nice standard syntax | changeset | files |
| Mon, 22 Sep 2014 21:45:59 +0200 | wenzelm | clarified timeout for isatest; | changeset | files |
| Mon, 22 Sep 2014 21:31:45 +0200 | wenzelm | merged | changeset | files |