[Termtools] SRS/Zantema/z090

[Christian Sternagel]

Dear Johannes,

Thanks for prompting us to look at the generated proof. We indeed
use a new variation of self-labeling in a DP setting. We didn't
spot yet any error, but will keep looking over the weekend. What
is clearly inadequate is the proof presentation (which is partly
due to our modifications for the certifying competition, as Coq
requires that the signature does not change during the proof).

Greetings from Tyrol,

T(he)TTT2T(eam)