| Mon, 02 Nov 2015 11:56:28 +0100 | eberlm | Rounding function, uniform limits, cotangent, binomial identities | file | diff | annotate |
| Mon, 21 Sep 2015 21:46:14 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Tue, 28 Jul 2015 16:34:08 +0200 | immler | added theory Uniform_Limit | file | diff | annotate |