[acl2/acl2] 9b5f93: Added "-exports" books showing the encapsulate gen...

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 9b5f9352497d621087e39fd1863e2c386cf23feb
https://github.com/acl2/acl2/commit/9b5f9352497d621087e39fd1863e2c386cf23feb
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2025-12-11 (Thu, 11 Dec 2025)

Changed paths:
A books/projects/hol-in-acl2/examples/eval-poly-thy-exports.lisp
M books/projects/hol-in-acl2/examples/eval-poly-thy.lisp
A books/projects/hol-in-acl2/examples/ex1-thy-exports.lisp
M books/projects/hol-in-acl2/examples/ex1-thy.lisp

Log Message:
-----------
Added "-exports" books showing the encapsulate generated by translation of HOL theories to ACL2(zfc)



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

[MattKaufmann]

Branch: refs/heads/testing