Subject: where did grindef go? Should it come back?
From: Richard Fateman
Date: Wed, 16 Sep 2009 14:28:01 -0700
grindef(f) presumably would take the function definition of f and display
f(x,...) := .....
Grinds the definition.
grind(f) takes f's value and pretty-prints it.