[Termtools] certification

[Johannes Waldmann]

> Dear all, I would like to mention that Rainbow should be able to handle 
> relative termination and termination modulo AC 

That's good to know!

I added a simple test case (replacing one strict rule
by a weak rule in ex2) and it seems to work fine.

So I'll start lobbying for [ts]rs-relative-certified...

Thanks, Johannes.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 257 bytes
Desc: OpenPGP digital signature
Url : http://lists.lri.fr/pipermail/termtools/attachments/20081120/f96f9096/attachment.pgp