[Termtools] Examples contextsensitive

[joerg at endrullis.de]

Hi,

arising from the translation of outermost rewriting to context sensitive
rewriting I have a collection of 17 contextsensitive TRSs. They should be
attached, in case attachments work on this mailing list. In case
attachments do not work, you can download the examples from:
  http://infinity.few.vu.nl/productivity/contextSensitive.zip

I am not sure whether or not to include this examples in the current
competition and want to put this question to the participants of the
context sensitive rewriting category.

Kind regards,
Joerg
-------------- next part --------------
A non-text attachment was scrubbed...
Name: contextSensitive.zip
Type: application/zip
Size: 11259 bytes
Desc: not available
Url : http://lists.lri.fr/pipermail/termtools/attachments/20081103/8a8b5a45/attachment-0001.zip