Major Section: EVENTS
The beginning user might pay special attention to documentation for
logic and program. Other topics in this section can be read as
one gains familiarity with ACL2.
locally
include-book's :dir argument
:match-free value to :once or :all in existing rules
nth/update-nth terms
include-book's :dir argument
:logic
:program
locally
nth/update-nth terms
locally
ignore or ignorable declaration
:match-free in future rules
:match-free is missing