Thu, 27 Oct 2016 15:08:50 +0200 | blanchet | updated CVC4 component | changeset | files |
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 |