isabelle: Changelog

blanchet [Wed, 03 Sep 2014 00:06:18 +0200] rev 58146

codatatypes are not datatypes

blanchet [Wed, 03 Sep 2014 00:06:17 +0200] rev 58145

ported Quickcheck to support new datatypes better

blanchet [Tue, 02 Sep 2014 23:59:49 +0200] rev 58144

removed more slow Refute tests

blanchet [Tue, 02 Sep 2014 23:59:46 +0200] rev 58143

tuned Refute example

steckerm [Tue, 02 Sep 2014 16:38:26 +0200] rev 58142

Some work on the new waldmeister integration

boehmes [Tue, 02 Sep 2014 14:40:32 +0200] rev 58141

merged

boehmes [Tue, 02 Sep 2014 14:40:14 +0200] rev 58140

replay Z3 rewrite steps that lift if-then-else expressions

traytel [Tue, 02 Sep 2014 13:40:03 +0200] rev 58139

test discriminators/selectors in BNF regression suite

blanchet [Tue, 02 Sep 2014 12:13:32 +0200] rev 58138

merge

blanchet [Tue, 02 Sep 2014 12:11:04 +0200] rev 58137

made SML/NJ happier

isabelle