isabelle: Changelog

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

made SML/NJ happier

blanchet [Tue, 02 Sep 2014 12:09:13 +0200] rev 58136

tuning

traytel [Tue, 02 Sep 2014 09:28:23 +0200] rev 58135

silenced nonexhaustive primrec warnings

haftmann [Tue, 02 Sep 2014 08:24:42 +0200] rev 58134

more convenient printing of real numbers after evaluation

blanchet [Mon, 01 Sep 2014 19:58:25 +0200] rev 58133

avoid more 'bad background theory' issues

blanchet [Mon, 01 Sep 2014 19:57:48 +0200] rev 58132

ported TFL to mixture of old and new datatypes

blanchet [Mon, 01 Sep 2014 19:28:00 +0200] rev 58131

drop hopeless feature -- unfolding of BNF datatype info without a prior 'datatype_compat'

blanchet [Mon, 01 Sep 2014 18:42:02 +0200] rev 58130

ported to use new-style datatypes * * * compile

blanchet [Mon, 01 Sep 2014 17:34:03 +0200] rev 58129

ported Refute to use new datatypes when possible

blanchet [Mon, 01 Sep 2014 16:34:40 +0200] rev 58128

renamed BNF theories

isabelle