trivial test commit, please ignore

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2517 303c5b2c-9740-0410-b014-fd8f9db7be32
add more packages to .acl2 files

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2518 303c5b2c-9740-0410-b014-fd8f9db7be32
Rename data-structures STRUCTURES package to DEFSTRUCTURE to eliminate name conflict with coi/defstructure STRUCTURES package

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2519 303c5b2c-9740-0410-b014-fd8f9db7be32
Stating that Rager would like ACL2_SAVE_QUICKLISP to be preserved

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2520 303c5b2c-9740-0410-b014-fd8f9db7be32
minor fixes to defines, fixtype

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