Moved many books out of the top-level.  Including parallel files to demos/parallel and system/parallel; symbolic to projects/symbolic; tutorial-problems to demos/tutorial-problems;

Also added an in-package to centaur/misc/intern-debugging-raw.lsp.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2322 303c5b2c-9740-0410-b014-fd8f9db7be32
Work around for intern-debugging-raw problem

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

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2324 303c5b2c-9740-0410-b014-fd8f9db7be32
Fixed recent problems with projects/symbolic/generic/defsimulate.lisp, which were preventing projects/symbolic/tiny-triangle/tiny-triangle-correct.lisp from certifying.

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

Made changes to Makefile-generic, build/make-cert accordingly, and
some books, all pertaining to an acl2-devel change that is about to be
checked in.  That change replaces EXPANSION by HISTORY in
*valid-output-names*.  Quoting :doc note-6-4:

  A new output type, history, now controls the printing of
  history-related information; see [set-inhibit-output-lst]. The
  unused output type, expansion, is no longer supported, i.e., is no
  longer a member of the list *valid-output-names*. Because of this
  change, printing of information when undoing, as by :[u], will now
  take place even when event output is inhibited (if history output
  is not inhibited); we thank Sol Swords for requesting that change.


git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2326 303c5b2c-9740-0410-b014-fd8f9db7be32
Bitops updates:
  - extend ihsext-basics with some basic rules about logrev
  - add fast-logrev.lisp, with optimized logrev definitions at certain sizes
  - add merge.lisp, with various optimized bit concatenation operations

Defaggregate update:
  - we now prohibit multiple occurrences of keys in make/change macros,
    e.g., (make-foo :a 1 :a 2) will now cause an error
  - fix minor problem in VL book, found due to the above check

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

Executed the following command (to avoid noise from "svn status -u")

  svn propset -R svn:ignore -F <path_to_books>/unversioned-files.txt .

in these directories:

  coi/defung
  demos/parallel
  system/parallel


git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2328 303c5b2c-9740-0410-b014-fd8f9db7be32
Pertaining to check-in to acl2-devel svn revision 1178: Changed ACL2::expansion to acl2::history in the defininition of factor-fn (thanks to Jared for pointing out that I missed this one).

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2329 303c5b2c-9740-0410-b014-fd8f9db7be32
Pertaining to check-in to acl2-devel svn revision 1178: Changed acl2::expansion to acl2::history in a comment.

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