[acl2/acl2] e47888: [Std/system] Add theorem about `implicate`.

[Alessandro Coglio]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: e478884c3757a933276eca122cd88d56b795348b
https://github.com/acl2/acl2/commit/e478884c3757a933276eca122cd88d56b795348b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-27 (Sat, 27 Dec 2025)

Changed paths:
A books/std/system/implicate.lisp
M books/std/system/term-transformations.lisp

Log Message:
-----------
[Std/system] Add theorem about `implicate`.


Commit: 4afb7bef65d3c3de2377ca6d97a203a75b80c06a
https://github.com/acl2/acl2/commit/4afb7bef65d3c3de2377ca6d97a203a75b80c06a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-27 (Sat, 27 Dec 2025)

Changed paths:
M books/kestrel/axe/x86/rule-lists.lisp
M books/kestrel/axe/x86/tester.lisp

Log Message:
-----------
Merge.


Compare: https://github.com/acl2/acl2/compare/8f80ddee6fb3...4afb7bef65d3

To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications

[Alessandro Coglio]

Branch: refs/heads/testing