isabelle: Changelog

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'

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

removed commented out parts

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

tuned whitespace

desharna [Mon, 01 Sep 2014 13:53:39 +0200] rev 58107

document 'set_transfer'

desharna [Mon, 01 Sep 2014 13:53:34 +0200] rev 58106

generate 'set_transfer' for BNFs

desharna [Mon, 01 Sep 2014 13:23:41 +0200] rev 58105

document 'rel_transfer'

desharna [Mon, 01 Sep 2014 13:23:39 +0200] rev 58104

generate 'rel_transfer' for BNFs

desharna [Mon, 01 Sep 2014 13:23:05 +0200] rev 58103

document 'map_transfer'

isabelle