[acl2/acl2] d96c77: Add license for files that do not have a license.

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: d96c777d25f7316d0ee4139ab2e61d7787ddc392
https://github.com/acl2/acl2/commit/d96c777d25f7316d0ee4139ab2e61d7787ddc392
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2026-05-29 (Fri, 29 May 2026)

Changed paths:
A books/projects/hol-in-acl2/LICENSE

Log Message:
-----------
Add license for files that do not have a license.



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

[MattKaufmann]

Branch: refs/heads/testing