Incorporated fix from Sol Swords for :logic definition of fast-alist-clean.  This was a soundness bug (mine) but was not in Version 6.4.

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