Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/HOL/Bit_Operations.thy
2022-07-04
haftmann
Move code lemmas for symbolic computation of bit operations on int to distribution.
file
|
diff
|
annotate
2022-02-24
haftmann
simp rules for negative numerals
file
|
diff
|
annotate
2022-02-17
haftmann
more lemmas for distribution
file
|
diff
|
annotate
2022-02-17
haftmann
Avoid overaggresive simplification.
file
|
diff
|
annotate
2021-10-28
haftmann
moved generic implementation into HOL-Main
file
|
diff
|
annotate
2021-10-26
haftmann
more generic bit/word lemmas for distribution
file
|
diff
|
annotate
2021-10-11
haftmann
more complete simp rules
file
|
diff
|
annotate
2021-10-10
haftmann
more complete simp rules
file
|
diff
|
annotate
2021-10-09
haftmann
normalizing NOT (numeral _) (again)
file
|
diff
|
annotate
2021-09-29
haftmann
repaired slip
file
|
diff
|
annotate
2021-09-25
haftmann
NOT is part of syntax bundle also
file
|
diff
|
annotate
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)
file
|
diff
|
annotate
2021-08-21
haftmann
consolidation of rules for bit operations
file
|
diff
|
annotate
2021-08-05
haftmann
clarified abstract and concrete boolean algebras
file
|
diff
|
annotate
2021-08-03
haftmann
simplified hierarchy of type classes for bit operations
file
|
diff
|
annotate
2021-08-02
haftmann
moved theory Bit_Operations into Main corpus
file
|
diff
|
annotate
|
base
less
more
(0)
tip