src/HOL/Bit_Operations.thy
2022-07-04 haftmann Move code lemmas for symbolic computation of bit operations on int to distribution.
2022-02-24 haftmann simp rules for negative numerals
2022-02-17 haftmann more lemmas for distribution
2022-02-17 haftmann Avoid overaggresive simplification.
2021-10-28 haftmann moved generic implementation into HOL-Main
2021-10-26 haftmann more generic bit/word lemmas for distribution
2021-10-11 haftmann more complete simp rules
2021-10-10 haftmann more complete simp rules
2021-10-09 haftmann normalizing NOT (numeral _) (again)
2021-09-29 haftmann repaired slip
2021-09-25 haftmann NOT is part of syntax bundle also
2021-09-13 haftmann explicit predicate for confined bit range avoids cyclic rewriting in presence of extensionality rule for bit values (contributed by Thomas Sewell)
2021-08-21 haftmann consolidation of rules for bit operations
2021-08-05 haftmann clarified abstract and concrete boolean algebras
2021-08-03 haftmann simplified hierarchy of type classes for bit operations
2021-08-02 haftmann moved theory Bit_Operations into Main corpus
less more (0) tip