Errata for Computer-Aided Reasoning: An Approach

ACL2 has evolved considerably since the publication of Computer-Aided Reasoning: An Approach. Some changes are not reflected in either the hardback or paperback copies of this book. However, the latest documentation is available from the ACL2 home page, and provides up-to-date detailed explanations. For example, that documentation describes ordinals in ACL2, whose representation has changed since the publication of this book. That newer representation is not described in any versions of the book or its errata.

The respective links below will take you to errata for hardback and paperback versions of "Computer-Aided Reasoning: An Approach". Feel free to report errors on the acl2-help mailing list.