Kathi Fisler that the supporting materials lispfiles.tar.gz have run under ACL2
Version 2.5.
