| Sat, 11 Jul 2020 18:09:08 +0000 | haftmann | more thms | file | diff | annotate |
| Sat, 11 Jul 2020 06:21:04 +0000 | haftmann | signed_take_bit | file | diff | annotate |
| Sat, 11 Jul 2020 06:21:02 +0000 | haftmann | more on single-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 |
| Sat, 20 Jun 2020 05:56:28 +0000 | haftmann | more class operations for the sake of efficient generated code | file | diff | annotate |
| Thu, 18 Jun 2020 09:07:30 +0000 | haftmann | bit operations as distinctive library theory | file | diff | annotate | base |