(with Jared) add :legiblep :ordered option to defaggregate, to format aggregate as an ordered alist

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2254 303c5b2c-9740-0410-b014-fd8f9db7be32
magic-ev: add special handling for OR

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2255 303c5b2c-9740-0410-b014-fd8f9db7be32
(with Jared) fix sexpr-rewriter so that it really goes to a fixpoint

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2256 303c5b2c-9740-0410-b014-fd8f9db7be32
merge new-defrstobj branch back into trunk

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2258 303c5b2c-9740-0410-b014-fd8f9db7be32
fix bad include-book in old defrstobj (broken by moving it to projects)

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2259 303c5b2c-9740-0410-b014-fd8f9db7be32
Moving idiv to remove it from the default build

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

Quoting :doc note-6-4:

  Fixed :[pbt] to avoid printing the bodies of [defconst] forms. Thanks
  to Jared Davis for pointing out the large output when the body is a
  large character string.


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