ACL2 User-Contributed Documentation

ACL2 users are invited to contribute documentation. (If you have certifiable books to contribute, please visit the acl2-books Google code page.) To contribute documentation, please send email to Matt Kaufmann, kaufmann@cs.utexas.edu. Please note that the ACL2 implementors may edit your contribution, though we would of course appreciate submissions that require only minimal editing.

The following list is ordered approximately by date of contribution. The original author is shown in each case (but the ACL2 implementors may have edited them and are responsible for any errors).