Major Section: MISCELLANEOUS
For a list of notes and reports about ACL2, see http://www.cs.utexas.edu/users/moore/publications/acl2-papers.html.
