[acl2/acl2] 9983eb: Small updates to eval_poly example of hol-in-acl2 ...

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 9983ebdf1a551b55f3b91a5234f31cdf51223ade
https://github.com/acl2/acl2/commit/9983ebdf1a551b55f3b91a5234f31cdf51223ade
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-02-06 (Fri, 06 Feb 2026)

Changed paths:
M books/projects/hol-in-acl2/examples/eval-poly-thy-alt.lisp
M books/projects/hol-in-acl2/examples/eval-poly-thy-exports.lisp
M books/projects/hol-in-acl2/examples/eval_poly.defhol
M books/projects/hol-in-acl2/examples/eval_polyScript.sml

Log Message:
-----------
Small updates to eval_poly example of hol-in-acl2 project



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

[acl2buildserver]

Branch: refs/heads/testing