Description of the user's application.

This page is URL http://www.computationallogic.com/software/caeti/acl2/user-application2.html