GRINDEF

[KMP at MIT-MC (Kent M. Pitman)]

Sorry, GLS, that's sorta my bug. On the basis of some wrong assumptions about
what a poorly documented grinder (Grindef) did with certain arguments to one
of its functions, I constructed a [not really] 'better' grinding form for it.
I recognized the bug the other day but have not been able to decipher the code
enough to know what the right thing is -- so far I only know why what's there
loses. Perhaps in the meantime I will de-install the LET grindfn's ... Plans
are being made for an all new pretty printer (again) ... NIL will need one
anyway, so it's probably the right time to go about it in a serious (and most
importantly -- documented) way. 
-kmp