Download procedure to obtain Infix Enhancements to ACL2

• Read the License Agreement and if you agree to its terms,
• download and install the ACL2 Sources and Documentation and then
• download and install the Infix package Sources and Documentation.

This page is URL http://www.computationallogic.com/software/caeti/infix/download.html