| Wed, 07 Oct 2015 17:11:16 +0200 | hoelzl | cleanup projective limit of probability distributions; proved Ionescu-Tulcea; used it to prove infinite prob. distribution | file | diff | annotate |
| Tue, 17 Mar 2015 17:45:03 +0000 | paulson | Inserted real_of_nat to fix factorial-related problem | file | diff | annotate |