Download procedure to obtain Infix Enhancements to ACL2

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