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.