Major Section: RELEASE-NOTES
In source file
axioms.lisp, in order for proofs to succeed,
make proofs), the definitions of
have been modified slightly, and lemma
after Version_3.4 to become
standardp-one] has been given
skip-proofs forms have been eliminated from the nonstd books, thanks
to Ruben Gamboa.
books/sqrt/, which was intended for ACL2(r), has been moved
books/nonstd/sqrt/ and added as appropriate to
Please see note-2-7 for changes to Version_2.7 of ACL2.