This file is obsolete.  See the topic SYSTEM-DEVELOPMENT in the ACL2
manual (bleeding edge version:
http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index.html),
together with its sub-topics.