For this course, you have to use the experimental version of ACL2 we are developing. Information on how to do this can be found here.
Read appendix A of Computer-Aided Reasoning (CAR) for information on using the ACL2 system. Appendix B also contains useful information. Finally, the Hyper-Card for ACL2 Programming is a consise Web page with useful information for beginners.
Last modified: Thu Feb 9 14:33:16 EST 2006