The latest paperback version of this book
(see Ordering Information)
is the Third Edition, which corresponds to svn version 18. See the
general
errata page for this book for how to accommodate an update to
ACL2 in March, 2004 (Version 2.8) that can affect the termination
measure for a function definition.
There are currently no errata for the paperback version of this book.
Feel free to report errors on
the acl2-help
mailing list.