update Computer-Aided.Reasoning.An.Approach.acl2