[Axiom-developer] defintrf.spad

[daly]

I'm looking thru the sources to see if there are any other instances
of the problem. Hopefully we can isolate the compiler bug and fix it.

Greg, if you've found any other bugs of this type I'd be most interested.

Tim