[acl2/acl2] a49225: Miscellaneous updates to hol-in-acl2 library

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: a4922558c29b3aa257fc8637624ddf093a0882a4
https://github.com/acl2/acl2/commit/a4922558c29b3aa257fc8637624ddf093a0882a4
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-01-20 (Tue, 20 Jan 2026)

Changed paths:
M books/projects/hol-in-acl2/acl2/package.lsp
M books/projects/hol-in-acl2/acl2/theories.lisp
M books/projects/hol-in-acl2/examples/eval-poly-proof.lisp
M books/projects/hol-in-acl2/examples/eval-poly-thy-exports.lisp
M books/projects/hol-in-acl2/examples/eval-poly-thy.lisp
M books/projects/hol-in-acl2/examples/eval-poly-top.lisp
M books/projects/hol-in-acl2/examples/ex1-proof.lisp
M books/projects/hol-in-acl2/examples/ex1-thy-exports.lisp
M books/projects/hol-in-acl2/examples/ex1-thy.lisp
M books/projects/hol-in-acl2/examples/ex1-top.lisp

Log Message:
-----------
Miscellaneous updates to hol-in-acl2 library



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

[acl2buildserver]

Branch: refs/heads/testing