Added (comp t) to avoid stalling out in LispWorks.

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

Updated documentation to match the following change to acl2-devel,
quoting :doc note-6-4:

  The :[loop-stopper] field of a rule of class :[rewrite], should still
  be a list of lists (var1 var2 fn1 fn2 ... fnk), where var1 and var2
  are variables and the fni are symbols. But formerly each fni was
  required to be a function symbol; now, it can be a macro alias for
  a function symbol (see [add-macro-alias]). For example, the
  following is a valid :[loop-stopper] field: ((x y +)).


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