Sun, 09 Nov 2014 10:03:17 +0100 | haftmann | self-contained simp rules for dvd on numerals | file | diff | annotate |
Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
Fri, 22 Aug 2014 08:43:14 +0200 | haftmann | generic euclidean algorithm (due to Manuel Eberl) | file | diff | annotate |