vl: fix for extra warnings from toe transform

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2408 303c5b2c-9740-0410-b014-fd8f9db7be32
Adding :local t as an option to defrule

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

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2410 303c5b2c-9740-0410-b014-fd8f9db7be32
Updates made for 6.4 release, committed to trunk

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2412 303c5b2c-9740-0410-b014-fd8f9db7be32
add std/typed-lists books for several additional built-in list types
start release notes for acl2-6.5 books

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