print names of functions as simplification progresses
print names of functions as simplification progresses

darcs-hash:20060412232530-1a7c6-823e871bdf72150703c2778cec19da6157b69321

kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc