Added /book-conflicts directory to /tools to demonstrate the use of bookdata

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2459 303c5b2c-9740-0410-b014-fd8f9db7be32
Adding a verb to improve readability

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2460 303c5b2c-9740-0410-b014-fd8f9db7be32
Add a little documentation for cert_pl_exclude to the cert.pl --help printout, and fix the way it works a bit (fixes issue 140).

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2462 303c5b2c-9740-0410-b014-fd8f9db7be32
add a couple new theorems to bitops/ihsext-basics

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2463 303c5b2c-9740-0410-b014-fd8f9db7be32
Adding another example to gl::case-split.  Thanks Sol for the help

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2465 303c5b2c-9740-0410-b014-fd8f9db7be32
Bringing over Version 6.4 commit from TheBeaNerd to the trunk.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2466 303c5b2c-9740-0410-b014-fd8f9db7be32
Fixing a couple typos

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2467 303c5b2c-9740-0410-b014-fd8f9db7be32
Fixing a typo

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2468 303c5b2c-9740-0410-b014-fd8f9db7be32
Adding an optimization for doing rewrite-based proofs about decomposed circuits

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2469 303c5b2c-9740-0410-b014-fd8f9db7be32