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
haftmann [Sat, 30 Aug 2014 11:15:47 +0200] rev 58098
inlined unused definition
hoelzl [Fri, 29 Aug 2014 11:24:31 +0200] rev 58097
add simp rules for divisions of numerals in floor and ceiling.
desharna [Fri, 29 Aug 2014 14:48:23 +0200] rev 58096
document 'disc_transfer'
desharna [Fri, 29 Aug 2014 14:36:51 +0200] rev 58095
generate 'disc_transfer' for (co)datatypes