Mon, 12 Sep 2022 08:07:22 +0000 | haftmann | putting together related theorems | file | diff | annotate |
Fri, 24 Sep 2021 22:23:26 +0200 | wenzelm | tuned proofs --- avoid 'guess'; | file | diff | annotate |
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 |