isabelle: Changelog

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'

desharna [Mon, 01 Sep 2014 13:23:00 +0200] rev 58102

note 'map_transfer' more often

haftmann [Sun, 31 Aug 2014 09:10:42 +0200] rev 58101

separated listsum material

haftmann [Sun, 31 Aug 2014 09:10:41 +0200] rev 58100

restored generic value slot, retaining default behaviour and separate approximate command

haftmann [Sun, 31 Aug 2014 09:10:40 +0200] rev 58099

convenient printing of (- 1 :: integer) after code evaluation

isabelle