src/HOL/ex/Birthday_Paradox.thy
2015-10-06 wenzelm 2015-10-06 isabelle update_cartouches;
2015-03-16 paulson 2015-03-16 The factorial function, "fact", now has type "nat => 'a"
2015-03-10 paulson 2015-03-10 renaming HOL/Fact.thy -> Binomial.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2012-11-19 hoelzl 2012-11-19 merge extensional dependent function space from FuncSet with the one in Finite_Product_Measure
2011-06-07 bulwahn 2011-06-07 renaming the formalisation of the birthday problem to a proper English name