| Tue, 23 Feb 2016 16:25:08 +0100 | nipkow | more canonical names | file | diff | annotate |
| Wed, 20 Jan 2016 23:05:57 +0100 | wenzelm | updated header; | file | diff | annotate |
| Tue, 06 Oct 2015 17:47:28 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Sun, 28 Dec 2014 15:42:34 +1100 | kleing | 3 old example lemmas by Amine listed in the top 100 theorems | file | diff | annotate |