Towards Open Architecture for the ACL2 Theorem Prover

This directory is obsolete. See the topic SYSTEM-DEVELOPMENT in the ACL2 manual, together with its sub-topics.