| Mon, 13 Jul 2020 15:23:32 +0000 | haftmann | concatentation of bit values | file | diff | annotate |
| Sat, 11 Jul 2020 06:21:04 +0000 | haftmann | signed_take_bit | file | diff | annotate |
| Mon, 06 Jul 2020 10:47:30 +0000 | haftmann | separation of traditional bit operations | file | diff | annotate |
| Fri, 03 Jul 2020 06:18:29 +0000 | haftmann | misc lemma tuning | file | diff | annotate |
| Wed, 01 Jul 2020 17:32:11 +0000 | haftmann | factored out ancient numeral representation | file | diff | annotate |