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