[acl2/acl2] f0fa07: [FTY] Add a theorem.

[Alessandro Coglio]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: f0fa077e9fc1a046e73edae592a39aad79d15394
https://github.com/acl2/acl2/commit/f0fa077e9fc1a046e73edae592a39aad79d15394
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-26 (Sun, 26 Jul 2026)

Changed paths:
M books/kestrel/fty/symbol-set-list-list.lisp

Log Message:
-----------
[FTY] Add a theorem.


Commit: 3f7e2f73e90f91dfea2653a327394b025980f70c
https://github.com/acl2/acl2/commit/3f7e2f73e90f91dfea2653a327394b025980f70c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-26 (Sun, 26 Jul 2026)

Changed paths:
M books/std/util/definductive.lisp

Log Message:
-----------
[definductive] Streamline some proofs.


Commit: bc5fb9635891154093a402eb6097499ca5eaf35b
https://github.com/acl2/acl2/commit/bc5fb9635891154093a402eb6097499ca5eaf35b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-26 (Sun, 26 Jul 2026)

Changed paths:
M books/doc/relnotes.lisp
M books/tools/with-supporters.lisp

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


Compare: https://github.com/acl2/acl2/compare/50b7500ce631...bc5fb9635891

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

[Alessandro Coglio]

Branch: refs/heads/testing