| Fri, 07 Dec 2012 14:29:09 +0100 | hoelzl | add exponential and uniform distributions | file | diff | annotate |
| Thu, 15 Nov 2012 15:50:01 +0100 | immler | generalized to copy of countable types instead of instantiation of nat for discrete topology | file | diff | annotate |
| Thu, 15 Nov 2012 11:16:58 +0100 | immler | added projective limit; | file | diff | annotate |