HELP

brief survey of ACL2 features
Major Section:  DOCUMENTATION

Example:
ACL2 !>:help

See lp for general information about the top-level command environment for ACL2.