NOTE-2-7(R)

In source file axioms.lisp, in order for proofs to succeed,
(make proofs), the definitions of acl2-count and explode-atom
have been modified slightly, and lemma standard-numberp-one has been
given :rule-classes nil.

All skip-proofs forms have been eliminated from the nonstd books, thanks
to Ruben Gamboa.

The directory books/sqrt/, which was intended for ACL2(r), has been moved
to books/nonstd/sqrt/ and added as appropriate to
books/nonstd/Makefile.