| Tue, 03 Nov 2015 15:24:24 +0100 | eberlm | added acknowledgement in Binomial.thy | file | diff | annotate |
| Mon, 02 Nov 2015 16:17:09 +0100 | eberlm | Added binomial identities to CONTRIBUTORS; small lemmas on of_int/pochhammer | file | diff | annotate |
| Mon, 02 Nov 2015 11:56:28 +0100 | eberlm | Rounding function, uniform limits, cotangent, binomial identities | file | diff | annotate |