[acl2/acl2] bb08a4: [arm] Add top book.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: bb08a43351d0debedbc0567ffc313d7273083531
https://github.com/acl2/acl2/commit/bb08a43351d0debedbc0567ffc313d7273083531
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-04 (Wed, 04 Feb 2026)

Changed paths:
A books/kestrel/arm/top.lisp
M books/kestrel/top.lisp

Log Message:
-----------
[arm] Add top book.

Thanks to Eric McCarthy for suggesting this.



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