Thu, 08 Oct 2020 07:30:02 +0000 | haftmann | factored out bit comprehension | file | diff | annotate |
Mon, 10 Aug 2020 08:27:17 +0200 | haftmann | reduced prominence od theory Bits_Int | file | diff | annotate |
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 |