| Wed, 12 Oct 2016 20:38:47 +0200 | haftmann | separate type class for arbitrary quotient and remainder partitions | file | diff | annotate |
| Thu, 29 Sep 2016 11:24:36 +0100 | paulson | Generalised the type of map_poly | file | diff | annotate |
| Mon, 26 Sep 2016 07:56:54 +0200 | haftmann | syntactic type class for operation mod named after mod; | file | diff | annotate |
| Fri, 16 Sep 2016 12:30:55 +0200 | haftmann | prefer abbreviation for trivial set conversion | file | diff | annotate |
| Fri, 09 Sep 2016 15:12:40 +0200 | nipkow | msetsum -> set_mset, msetprod -> prod_mset | file | diff | annotate |
| Thu, 01 Sep 2016 21:28:55 +0200 | wenzelm | tuned headers; | file | diff | annotate |
| Thu, 25 Aug 2016 17:17:23 +0200 | Manuel Eberl | Deprivatisation of lemmas in Polynomial_Factorial | file | diff | annotate |
| Tue, 16 Aug 2016 12:41:43 +0200 | eberlm | Polynomial algebra cleanup (tuned) | file | diff | annotate |
| Tue, 16 Aug 2016 12:02:09 +0200 | eberlm | Polynomial algebra cleanup | file | diff | annotate | base |