Acl2 Version 1.1 Notes
The new features are extensively documented. The relevant topics
It is especially important to read all of of the documentation for
books before trying to use books. However, the new :more
keyword command is so handy for reading long documentation strings that
we recommend you start with :doc more if reading at the terminal.
Some documentation has been written for guards which you might find