| Tue, 21 Jan 2020 11:02:27 +0100 | Manuel Eberl | Removed multiplicativity assumption from normalization_semidom | file | diff | annotate |
| Thu, 16 Nov 2017 11:30:23 +0100 | haftmann | removed overambitious simp rules from e7e54a0b9197 | file | diff | annotate |
| Sat, 11 Nov 2017 18:41:08 +0000 | haftmann | dedicated definition for coprimality | file | diff | annotate |
| Fri, 20 Oct 2017 07:46:10 +0200 | haftmann | added lemmas and tuned proofs | file | diff | annotate |
| Fri, 07 Apr 2017 21:17:18 +0200 | wenzelm | tuned headers; | file | diff | annotate |
| Thu, 06 Apr 2017 21:37:13 +0200 | haftmann | session containing computational algebra | file | diff | annotate | base |