| Thu, 27 Oct 2016 14:14:58 +0200 | blanchet | tuning | changeset | files |
| Thu, 27 Oct 2016 14:14:48 +0200 | blanchet | more uniform treatment of codatatype vs. datatype map and rel theorem generation (towards nonuniform codatatypes) | changeset | files |
| Thu, 27 Oct 2016 12:54:55 +0200 | nipkow | added lemma | changeset | files |
| Wed, 26 Oct 2016 22:40:28 +0200 | blanchet | tuning | changeset | files |
| Wed, 26 Oct 2016 20:59:36 +0200 | blanchet | preprocess typedefs and quotients correctly | changeset | files |
| Wed, 26 Oct 2016 17:32:50 +0200 | blanchet | adapted Nunchaku's input syntax to new design decisions | changeset | files |
| Wed, 26 Oct 2016 16:15:37 +0200 | wenzelm | more informative error (see 6e9c22c494c5); | changeset | files |