[acl2/acl2] 60461a: [ATC] Add some rules to a generated theorem.

[Alessandro Coglio]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 60461a4e044f72cb82d291af0b8df8f6dbf486f3
https://github.com/acl2/acl2/commit/60461a4e044f72cb82d291af0b8df8f6dbf486f3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-26 (Tue, 26 May 2026)

Changed paths:
M books/kestrel/c/atc/statement-generation.lisp

Log Message:
-----------
[ATC] Add some rules to a generated theorem.

Without these, an example was failing.



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

[Alessandro Coglio]

Branch: refs/heads/testing