| Tue, 17 May 2022 14:10:14 +0100 | paulson | tidied auto / simp with null arguments | file | diff | annotate |
| Tue, 19 Oct 2021 16:10:36 +0200 | Manuel Eberl | updated email address | file | diff | annotate |
| Tue, 21 Jan 2020 11:02:27 +0100 | Manuel Eberl | Removed multiplicativity assumption from normalization_semidom | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| Sat, 11 Nov 2017 18:41:08 +0000 | haftmann | dedicated definition for coprimality | file | diff | annotate |
| Sat, 15 Jul 2017 14:32:02 +0100 | eberlm | More material on powers for HOL-Computational_Algebra/HOL-Number_Theory | file | diff | annotate |