| Wed, 28 May 2025 17:49:22 +0200 | haftmann | more modern qualification of auxiliary operations | file | diff | annotate |
| Tue, 08 Apr 2025 21:32:44 +0100 | paulson | Another Eberl lemma plus tidying | file | diff | annotate |
| Sun, 17 Nov 2024 21:20:26 +0100 | nipkow | renamed Discrete -> Discrete_Functions to avoid name clashes; | file | diff | annotate |
| 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 |