Renamed note-6-6-books to note-7-0-books.

Fixed system/hons-check/memoize-tests.lisp, uncommenting out the part
that had failed for LispWorks and Allegro CL by using tail-recursive
functions.

Updated :doc note-7-0 for fix to acl2-devel:

  Errors were possible when evaluating functions [pkg-imports] and
  [pkg-witness] while including a book with a compiled (or expansion)
  file. Such errors have been eliminated.

Fixed projects/milawa/ACL2/acl2-hacks/str.lisp to include
std/strings/top instead of (no longer available) str/top.


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