| 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 |
| Wed, 04 Mar 2015 23:31:04 +0100 | nipkow | Removed the obsolete functions "natfloor" and "natceiling" | file | diff | annotate |
| Thu, 13 Nov 2014 17:19:52 +0100 | hoelzl | import general theorems from AFP/Markov_Models | file | diff | annotate |
| Sun, 02 Nov 2014 17:06:05 +0100 | wenzelm | modernized header; | file | diff | annotate |
| Sun, 19 Oct 2014 18:05:26 +0200 | haftmann | prefer generic elimination rules for even/odd over specialized unfold rules for nat | file | diff | annotate |