Sat, 17 Dec 2016 15:22:14 +0100 | haftmann | more fine-grained type class hierarchy for div and mod | file | diff | annotate |
Sat, 17 Dec 2016 15:22:13 +0100 | haftmann | restructured matter on polynomials and normalized fractions | file | diff | annotate |
Sun, 16 Oct 2016 09:31:04 +0200 | haftmann | more standardized names | file | diff | annotate |
Thu, 14 Jul 2016 14:49:09 +0200 | eberlm | Added normalized fractions | file | diff | annotate |