Removed misguided lines
  :cite hons-and-memoization
from four :doc topics.



git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1125 5d84a466-a78b-0930-a311-59b22171a541