[acl2/acl2] 4b9066: Synchronized hol-in-acl2 translation files with th...

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 4b9066a0dbfce1751c523ee76d144f8f2db70a7d
https://github.com/acl2/acl2/commit/4b9066a0dbfce1751c523ee76d144f8f2db70a7d
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)

Changed paths:
M books/projects/hol-in-acl2/examples/eval_poly.defhol
M books/projects/hol-in-acl2/examples/ex1.defhol

Log Message:
-----------
Synchronized hol-in-acl2 translation files with those in https://github.com/HOL-Theorem-Prover/HOL/tree/develop/examples/acl2/hol-to-acl2/examples (comment changes only)



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

[acl2buildserver]

Branch: refs/heads/testing