| Tue, 24 Jan 2023 10:30:56 +0000 | haftmann | generalized theory name: euclidean division denotes one particular division definition on integers | file | diff | annotate |
| Sun, 21 Aug 2022 06:18:23 +0000 | haftmann | streamlined | file | diff | annotate |
| Thu, 24 May 2018 09:18:29 +0200 | haftmann | avoid overaggressive classical rule | file | diff | annotate |