[Termtools] SRS/Zantema/z090?

[Johannes Waldmann]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Dear Tyroleans :-)

what is the exact theorem that ttt2 wants to use for "self-labelling"
for SRS?

I would buy "first self-label, then DP transform"
but you go the other way around (doing self-labeling in the SCCs)
and it seems you introduce a new letter right after the top symbol.

How do labelling and "usable rules" interact, anyway?
You'd need to add something like CE-compatibility?

Puzzled - Johannes.

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFGaGPp3ZnXZuOVyMIRAm5lAJ9m1fbirFEcj2KOHT7JP/deIPfe3wCgk5cc
5uD77Y7JPvZQ6dt9xo2+ldU=
=8f+S
-----END PGP SIGNATURE-----