src/HOL/ex/Birthday_Paradox.thy
2011-06-07 bulwahn 2011-06-07 renaming the formalisation of the birthday problem to a proper English name