[acl2/acl2] e867f4: Added missing cert.acl2 file (not necessary when u...

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: e867f4eea54c35b062308fc1ca8992cc65cec58a
https://github.com/acl2/acl2/commit/e867f4eea54c35b062308fc1ca8992cc65cec58a
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-07-01 (Wed, 01 Jul 2026)

Changed paths:
A books/projects/set-theory/reals/cert.acl2

Log Message:
-----------
Added missing cert.acl2 file (not necessary when using cert.pl, though)



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

[acl2buildserver]

Branch: refs/heads/testing