hoelzl [Mon, 06 Oct 2014 16:27:31 +0200] rev 58588
add measure space for (coinductive) streams
hoelzl [Mon, 06 Oct 2014 16:27:07 +0200] rev 58587
add type for probability mass functions, i.e. discrete probability distribution
desharna [Mon, 06 Oct 2014 13:42:48 +0200] rev 58586
refactor 'map_sel_thms' and 'set_sel_thms'
desharna [Mon, 06 Oct 2014 13:41:37 +0200] rev 58585
rename 'xtor_rel_thms' to 'xtor_rels'
desharna [Mon, 06 Oct 2014 13:40:56 +0200] rev 58584
rename 'xtor_set_thmss' to 'xtor_setss'
desharna [Mon, 06 Oct 2014 13:40:31 +0200] rev 58583
rename 'xtor_map_thms' to 'xtor_maps'
desharna [Mon, 06 Oct 2014 13:40:02 +0200] rev 58582
rename one of the two 'rel_eq_thms' to 'rel_code_thms'
desharna [Mon, 06 Oct 2014 13:39:12 +0200] rev 58581
rename 'xtor_co_rec_transfer_thms' to 'xtor_co_rec_transfers'
desharna [Mon, 06 Oct 2014 13:38:40 +0200] rev 58580
rename 'dtor_set_induct_thms' to 'dtor_set_inducts'
desharna [Mon, 06 Oct 2014 13:38:13 +0200] rev 58579
rename 'rel_xtor_co_induct_thm' to 'xtor_rel_co_induct'