isabelle: Changelog

blanchet [Mon, 01 Sep 2014 16:17:47 +0200] rev 58119

tuning

blanchet [Mon, 01 Sep 2014 16:17:47 +0200] rev 58118

compile

blanchet [Mon, 01 Sep 2014 16:17:47 +0200] rev 58117

more compatibility between old- and new-style datatypes

blanchet [Mon, 01 Sep 2014 16:17:47 +0200] rev 58116

added theory-based getters for convenience

blanchet [Mon, 01 Sep 2014 16:17:47 +0200] rev 58115

made transfer functions slightly more general

blanchet [Mon, 01 Sep 2014 16:17:46 +0200] rev 58114

tuned signatures

blanchet [Mon, 01 Sep 2014 16:17:46 +0200] rev 58113

tuning

blanchet [Mon, 01 Sep 2014 16:17:46 +0200] rev 58112

renamed modules defining old datatypes, as a step towards having 'datatype_new' take 'datatype's place

blanchet [Mon, 01 Sep 2014 16:17:46 +0200] rev 58111

tuned structure inclusion

blanchet [Mon, 01 Sep 2014 16:17:46 +0200] rev 58110

took out legacy material from 'HOL/Library/Library.thy'

isabelle