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 |