[acl2/acl2] 7125a5: [Remora] Rename function.

[Alessandro Coglio]

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 7125a536a8686388ad664798732c772d0b81fd38
https://github.com/acl2/acl2/commit/7125a536a8686388ad664798732c772d0b81fd38
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-25 (Sat, 25 Jul 2026)

Changed paths:
M books/kestrel/remora/evaluation.lisp
M books/kestrel/remora/expression-values-and-environments.lisp
M books/kestrel/remora/renaming-evaluation.lisp
M books/kestrel/remora/type-values-and-environments.lisp

Log Message:
-----------
[Remora] Rename function.


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

Changed paths:
M books/kestrel/remora/dimension-equivalence-infrules.lisp
M books/kestrel/remora/grammar.abnf

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


Compare: https://github.com/acl2/acl2/compare/6df62bcb2c68...ee340914c66f

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

[Alessandro Coglio]

Branch: refs/heads/master

[Alessandro Coglio]

Branch: refs/heads/testing

[Alessandro Coglio]

Branch: refs/heads/testing-kestrel