| Sat, 21 Aug 2021 20:12:15 +0000 | haftmann | consolidation of rules for bit operations | file | diff | annotate |
| Thu, 05 Aug 2021 07:12:49 +0000 | haftmann | clarified abstract and concrete boolean algebras | file | diff | annotate |
| Tue, 03 Aug 2021 13:53:22 +0000 | haftmann | simplified hierarchy of type classes for bit operations | file | diff | annotate |
| Mon, 02 Aug 2021 10:01:06 +0000 | haftmann | moved theory Bit_Operations into Main corpus | file | diff | annotate | base |