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
standard-numberp-one has been
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.