equal
deleted
inserted
replaced
22 * May 2020: Florian Haftmann |
22 * May 2020: Florian Haftmann |
23 HOL-Word based on library theory of generic bit operations. |
23 HOL-Word based on library theory of generic bit operations. |
24 |
24 |
25 * May 2020: Florian Haftmann |
25 * May 2020: Florian Haftmann |
26 Generic algebraically founded bit operations NOT, AND, OR, XOR. |
26 Generic algebraically founded bit operations NOT, AND, OR, XOR. |
|
27 |
|
28 * Sept. 2020: Florian Haftmann |
|
29 Substantial reworking and modularization of Word library, with |
|
30 generic type conversions. |
27 |
31 |
28 * June 2020: Florian Haftmann |
32 * June 2020: Florian Haftmann |
29 Simproc defined_all for more aggressive substitution with variables |
33 Simproc defined_all for more aggressive substitution with variables |
30 from assumptions. |
34 from assumptions. |
31 |
35 |