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 |