Fri, 09 Nov 2012 14:14:45 +0100 | immler | removed redundant/unnecessary assumptions from projective_family | file | diff | annotate |
Wed, 07 Nov 2012 14:41:49 +0100 | immler | assume probability spaces; allow empty index set | file | diff | annotate |
Wed, 07 Nov 2012 11:33:27 +0100 | immler | added projective_family; generalized generator in product_prob_space to projective_family | file | diff | annotate |