[acl2/acl2] 976df7: [treeset] Improve internal rule

[Grant Jurgensen]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 976df78f8046bbc10c3b89e1a71bc141eb78fc69
https://github.com/acl2/acl2/commit/976df78f8046bbc10c3b89e1a71bc141eb78fc69
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-08-19 (Wed, 19 Aug 2026)

Changed paths:
M books/kestrel/data/treeset/internal/split.lisp
M books/kestrel/data/treeset/internal/union.lisp

Log Message:
-----------
[treeset] Improve internal rule



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

[Grant Jurgensen]

Branch: refs/heads/master

[Grant Jurgensen]

Branch: refs/heads/testing