| 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 |
| Mon, 16 Mar 2015 15:30:00 +0000 | paulson | The factorial function, "fact", now has type "nat => 'a" | file | diff | annotate |