src/HOL/ex/Birthday_Paradox.thy
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