NOTE-3-2_lparen_R_rparen_.html -- ACL2 Version 6.3

## NOTE-3-2(R)

ACL2 Version 3.2(r) (April, 2007) Notes

    Major Section:  RELEASE-NOTES

Changed the default distributed books directory for ACL2(r) from `books/` to `books/nonstd/`. See include-book, in particular the discussion of ``Distributed Books Directory''.

Added directory `books/arithmetic-3/` and its subdirectories to `books/nonstd/`. (But a chunk of theorems from `arithmetic-3/extra/ext.lisp` are ``commented out'' using #-:non-standard-analysis because they depend on `books/rtl/rel7/`, which is not yet in `books/nonstd/`; feel free to volunteer to remedy this!)

Incorporated changes from Ruben Gamboa to some (linear and non-linear) arithmetic routines in the theorem prover, to comprehend the reals rather than only the rationals.

Please also see note-3-2 for changes to Version 3.2 of ACL2.