[Termtools] Certified relative / equational termination

[Johannes Waldmann]

> Over here, we usually call it "modulo equations", and tend to
> shorten this to "equational". :)

reminds me that there was a suggestion
of allowing sth. like "<->=" rules in problem definitions.

J.

-------------- 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/20090429/cb1357c0/attachment.pgp