| 2013-07-25 | haftmann | 2013-07-25 | factored syntactic type classes for bot and top (by Alessandro Coglio) | file | diff | annotate |
| 2013-03-26 | wenzelm | 2013-03-26 | tuned imports; | file | diff | annotate |
| 2013-02-14 | haftmann | 2013-02-14 | consolidation of library theories on product orders | file | diff | annotate | base |