minor updates toward resolving name clashes between ihs and arithmetic-5

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2902 303c5b2c-9740-0410-b014-fd8f9db7be32
STD: minor cleanups to rules about "take"

 - Moved equal-of-take-and-list-fix from unicode/partition to std/lists
 - Add take-of-too-many rule
 - Rework strip-cdrs-of-pairlis$ using take, to avoid a case-split
 - Reduce stuff in centaur/misc/lists.lisp

VL: updates toward SystemVerilog case statements and casts

 - Modified Sol's new BUF primitive to avoid ~ (~ a) because NCVerilog
   incorrectly optimizes it, causing failurs in various VL systests.

 - Added representation of casts, modified parser/lexer to produce cast
   expressions (but so far they're mostly unsupported)

 - Reworked case statement representation.  Added support for priority, unique,
   and unique0 keywords.  Altered representation to allow multiple match
   expressions to be bound to the same body.  That is, previously

       case (foo)
         4'b0001, 4'b0010: $display("Good");
         default:          $display("Bad");
       endcase

   would get split up by the parser into something like this:

       4'b0001 -> $display("Good");
       4'b0010 -> $display("Good");
       default -> $display("Bad");

   but now we keep them bundled together, which will eventually be necessary
   for the correct implementation of priority/unique/unique0 checks.

   Updated case elimination, printing, etc., to work on the new format.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2903 303c5b2c-9740-0410-b014-fd8f9db7be32
Remove books that were stubs in ACL2 6.5, add initial release notes for 6.6

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2905 303c5b2c-9740-0410-b014-fd8f9db7be32
Switch defaggregate b* binders to also bind the variable (fixes issue 41).

Fix bad include-book in parsers/earley/grammar-reader.lisp.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2906 303c5b2c-9740-0410-b014-fd8f9db7be32
Finish resolving "repeat" incompatibility (fixes issue 136)

 - Rename "replicate-fn" to "repeat" in std/lists
 - Updated theorem names to be about repeat instead of replicate
   (since it's a shorter name)
 - Updated coi/lists/repeat.lisp to make the definitions compatible
 - Update various theorem names

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2909 303c5b2c-9740-0410-b014-fd8f9db7be32
Replaced the hardcoded theorems in std/util/deflist with a pluggable scheme.
See std/lists/abstract for details.

 * std/util/deflist should be more or less backward compatible, whereas std/util/deflist-base
provides only the more basic theorems out of the box.
 * Integrated std::deflist into fty::deflist.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2911 303c5b2c-9740-0410-b014-fd8f9db7be32
Merge 6.5 into trunk up to rev 2910

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2912 303c5b2c-9740-0410-b014-fd8f9db7be32
add basic external getopt/argv test (fixes issue 89).

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