| Tue, 13 Oct 2015 09:21:15 +0200 | haftmann | prod_case as canonical name for product type eliminator | file | diff | annotate |
| Tue, 13 Oct 2015 09:21:14 +0200 | haftmann | emphasized general nature of parameter | file | diff | annotate |
| Tue, 13 Oct 2015 09:21:14 +0200 | haftmann | moved lemmas | file | diff | annotate |
| Thu, 24 Sep 2015 12:21:19 +0200 | traytel | more useful properties of the relators | file | diff | annotate |
| Thu, 27 Aug 2015 21:19:48 +0200 | haftmann | standardized some occurences of ancient "split" alias | file | diff | annotate |
| Sat, 18 Jul 2015 22:58:50 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Mon, 16 Mar 2015 23:05:56 +0100 | traytel | BNF relators preserve reflexivity | file | diff | annotate |