| Tue, 15 Apr 2025 17:38:20 +0200 | Manuel Eberl | lots of lemmas for HOL, HOL-{Complex_}Analysis, HOL-Number_Theory | file | diff | annotate |
| Fri, 21 Mar 2025 10:45:56 +0000 | paulson | New theorems, mostly from the number theory project | file | diff | annotate |
| Sat, 16 Sep 2023 06:38:44 +0000 | haftmann | new formulation of an auxiliary lemma | file | diff | annotate |
| Tue, 11 Apr 2023 11:59:06 +0000 | haftmann | some remarks on division | file | diff | annotate |
| Tue, 24 Jan 2023 10:30:56 +0000 | haftmann | generalized theory name: euclidean division denotes one particular division definition on integers | file | diff | annotate | base |