| Tue, 11 Apr 2023 11:59:06 +0000 | haftmann | some remarks on division | file | diff | annotate |
| Tue, 11 Apr 2023 11:59:02 +0000 | haftmann | proper section headings | file | diff | annotate |
| Sat, 01 Oct 2022 13:08:34 +0000 | haftmann | syntactic type classes for signed division operators | file | diff | annotate |
| Fri, 09 Sep 2022 21:28:35 +0200 | haftmann | less specialized euclidean relation on int | file | diff | annotate |
| Fri, 19 Aug 2022 05:49:06 +0000 | haftmann | streamlined theorems and sections | file | diff | annotate |
| Wed, 17 Aug 2022 20:37:16 +0000 | haftmann | streamlined primitive definitions for integer division | file | diff | annotate |
| Tue, 26 Oct 2021 14:43:59 +0000 | haftmann | more generic bit/word lemmas for distribution | file | diff | annotate |
| Sat, 28 Nov 2020 21:38:48 +0000 | haftmann | more on signed division | file | diff | annotate |
| Wed, 23 Sep 2020 11:14:38 +0000 | haftmann | more thorough treatment of division, particularly signed division on int and word | file | diff | annotate |