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,
documentation is available from
the ACL2 home
page, and provides up-to-date detailed explanations. For example,
that documentation describes
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