Moving waterfall parallelism wrappers so I can eventually delete the books/parallel directory

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

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2347 303c5b2c-9740-0410-b014-fd8f9db7be32
fix (w. Jared) for bug in :xdoc after introducing acl2 documentation on a logical name at the top level

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