| Mon, 31 Aug 2015 21:01:21 +0200 | wenzelm | prefer symbols; | file | diff | annotate |
| Thu, 27 Aug 2015 21:19:48 +0200 | haftmann | standardized some occurences of ancient "split" alias | file | diff | annotate |
| Tue, 04 Aug 2015 23:11:16 +0200 | wenzelm | eliminated clone; | file | diff | annotate |
| Tue, 04 Aug 2015 14:29:45 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Tue, 04 Aug 2015 14:06:24 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Sat, 18 Jul 2015 22:58:50 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Tue, 14 Apr 2015 11:32:01 +0200 | Andreas Lochbihler | add lemmas | file | diff | annotate |