equal
deleted
inserted
replaced
17 * May 2020: Florian Haftmann |
17 * May 2020: Florian Haftmann |
18 HOL-Word based on library theory of generic bit operations. |
18 HOL-Word based on library theory of generic bit operations. |
19 |
19 |
20 * May 2020: Florian Haftmann |
20 * May 2020: Florian Haftmann |
21 Generic algebraically founded bit operations NOT, AND, OR, XOR. |
21 Generic algebraically founded bit operations NOT, AND, OR, XOR. |
|
22 |
|
23 * June 2020: Florian Haftmann |
|
24 Simproc defined_all for more aggressive substitution with variables |
|
25 from assumptions. |
22 |
26 |
23 |
27 |
24 Contributions to Isabelle2020 |
28 Contributions to Isabelle2020 |
25 ----------------------------- |
29 ----------------------------- |
26 |
30 |