SWITCHES-PARAMETERS-AND-MODES

a variety of ways to modify the ACL2 environment
Major Section:  ACL2 Documentation

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.

Some Related Topics