| Wed, 26 Nov 2014 15:59:46 +0100 | haftmann | prefer abbrev for is_unit | file | diff | annotate |
| Mon, 17 Nov 2014 14:55:34 +0100 | haftmann | generalized lemmas and tuned proofs | file | diff | annotate |
| Mon, 17 Nov 2014 14:55:33 +0100 | haftmann | generalized lemmas (particularly concerning dvd) as far as appropriate | file | diff | annotate |
| 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 |