Towards Open Architecture for the ACL2 Theorem Prover

This directory supports work towards opening up the architecture of the ACL2 theorem prover. At this stage it contains the following two text files.