Correction to last note

[RWK at MIT-MC (Robert W. Kerns)]

Sorry, I left out a line in my reconstruction of what you said that
was relavent.  (There was a BIT more than that that was relavent!)

(TRACE MOVE)
(DEFUN MOVE ....)
(GRINDEF MOVE)
;TRACED
<no printing>.

(I got interrupted half-way through typing in the message and dropped a few
bits, sorry.)  Anyway, the rest of my comment still stands.

In fact, it looks like what GRINDEF must be doing is looking at the variable
TRACED-STUFF, rather than anything meaningfully coordinated with DEFUN and
the property-list of the function!