Notes on the user's experience with the system.
This page is URL http://www.computationallogic.com/software/caeti/acl2/user-notes2.html