isabelle: Changelog

fleury <Mathias.Fleury@mpi-inf.mpg.de> [Thu, 27 Oct 2016 15:51:54 +0200] rev 64418

more lemmas

blanchet [Thu, 27 Oct 2016 15:08:50 +0200] rev 64417

updated CVC4 component

blanchet [Thu, 27 Oct 2016 14:14:58 +0200] rev 64416

tuning

blanchet [Thu, 27 Oct 2016 14:14:48 +0200] rev 64415

more uniform treatment of codatatype vs. datatype map and rel theorem generation (towards nonuniform codatatypes)

nipkow [Thu, 27 Oct 2016 12:54:55 +0200] rev 64414

added lemma

blanchet [Wed, 26 Oct 2016 22:40:28 +0200] rev 64413

tuning

blanchet [Wed, 26 Oct 2016 20:59:36 +0200] rev 64412

preprocess typedefs and quotients correctly

blanchet [Wed, 26 Oct 2016 17:32:50 +0200] rev 64411

adapted Nunchaku's input syntax to new design decisions

wenzelm [Wed, 26 Oct 2016 16:15:37 +0200] rev 64410

more informative error (see 6e9c22c494c5);

wenzelm [Wed, 26 Oct 2016 16:05:41 +0200] rev 64409

tuned signature -- more friendly for experimentation;

isabelle