[Termination tools] Re: termination competition

[Aart Middeldorp]

Dear all,

TTT will join the following categories:

- TRS termination
- TRS innermost termination
- SRS termination

By the way, why isn't MUterm participating?

Cheers,

Aart