| Tue, 02 Aug 2016 21:30:30 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Tue, 26 Apr 2016 11:38:19 +0200 | wenzelm | misc tuning and modernization; | file | diff | annotate |
| Tue, 23 Feb 2016 16:25:08 +0100 | nipkow | more canonical names | file | diff | annotate |
| Fri, 19 Feb 2016 07:57:23 +0100 | nipkow | tuned | file | diff | annotate |
| Wed, 20 Jan 2016 23:05:57 +0100 | wenzelm | updated header; | 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 |