| Mon, 19 Nov 2012 12:29:02 +0100 | hoelzl | merge extensional dependent function space from FuncSet with the one in Finite_Product_Measure | file | diff | annotate |
| Tue, 07 Jun 2011 11:10:57 +0200 | bulwahn | renaming the formalisation of the birthday problem to a proper English name | file | diff | annotate | base |