| 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 |