| Tue, 04 Aug 2020 09:24:00 +0000 | haftmann | clearer separation of pre-word bit list material | file | diff | annotate |
| Sun, 12 Jul 2020 18:10:06 +0000 | haftmann | prefer canonically oriented lists of bits and more direct characterizations in definitions | file | diff | annotate |
| Mon, 06 Jul 2020 10:47:30 +0000 | haftmann | separation of traditional bit operations | file | diff | annotate |
| Mon, 22 Apr 2019 09:33:55 +0000 | haftmann | separate type class for bit comprehension | file | diff | annotate |