| 2015-10-13 | haftmann | 2015-10-13 | prod_case as canonical name for product type eliminator | file | diff | annotate |
| 2015-08-27 | haftmann | 2015-08-27 | standardized some occurences of ancient "split" alias | file | diff | annotate |
| 2015-07-18 | wenzelm | 2015-07-18 | isabelle update_cartouches; | file | diff | annotate |
| 2014-11-02 | wenzelm | 2014-11-02 | modernized header uniformly as section; | file | diff | annotate |
| 2014-10-29 | wenzelm | 2014-10-29 | modernized setup; | file | diff | annotate |
| 2014-09-16 | blanchet | 2014-09-16 | register 'prod' and 'sum' as datatypes, to allow N2M through them | file | diff | annotate |
| 2014-09-01 | blanchet | 2014-09-01 | renamed BNF theories | file | diff | annotate | base |