src/HOL/ex/Birthday_Paradox.thy
Mon, 19 Nov 2012 12:29:02 +0100 hoelzl merge extensional dependent function space from FuncSet with the one in Finite_Product_Measure
Tue, 07 Jun 2011 11:10:57 +0200 bulwahn renaming the formalisation of the birthday problem to a proper English name
less more (0) tip