Sat, 25 Sep 2021 07:45:27 +0000 | haftmann | NOT is part of syntax bundle also | file | diff | annotate |
Mon, 13 Sep 2021 14:18:24 +0000 | haftmann | explicit predicate for confined bit range avoids cyclic rewriting in presence of extensionality rule for bit values (contributed by Thomas Sewell) | file | diff | annotate |
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 |