[Termtools] competition outermost

[Peter Schneider-Kamp]

joerg at endrullis.de wrote:
> I tend to open terms, how is it done with the category "innermost"?

I don't remember any discussion, but I always assumed it was open terms.

Regards,
Peter

-- 
Peter Schneider-Kamp   mailto:psk at informatik.rwth-aachen.de
LuFG Informatik 2      http://verify.rwth-aachen.de/psk
RWTH Aachen            phone: +49 241 80-21211