| 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 |
| Tue, 01 Sep 2015 22:32:58 +0200 | wenzelm | eliminated \<Colon>; | file | diff | annotate |
| Sat, 18 Jul 2015 22:58:50 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Tue, 16 Jun 2015 11:31:22 +0200 | hoelzl | tuned src/HOL/ex/Ballot | file | diff | annotate |
| Mon, 25 May 2015 22:11:43 +0200 | wenzelm | merged, resolving conflicts in Admin/isatest/settings/afp-poly and src/HOL/Tools/Nitpick/nitpick_model.ML; | file | diff | annotate |