OTHER

other commonly used top-level functions
Major Section:  ACL2 Documentation

This section contains an assortment of top-level functions that fit into none of the other categories and yet are suffiently useful as to merit ``advertisement'' in the :help command.