[Termtools] Certified ERROR for TRS/ARroVE/improved_usable.trs

[Christian Sternagel]

There is obviously an error when certifying the proof of improved_usable.trs.
And I get the same error when certifying on my mashine.
The only problem is that I can not find an error in neither the text-proof nor
the xml-proof produced by ttt2.
These two outputs are not provided on the competition homepage, so I attached
them. Since I'm not a Coq expert at all I do not know the exact problem, maybe
one of the experts could have a look?

cheers

christian
-------------- next part --------------
A non-text attachment was scrubbed...
Name: improved_usable.proof
Type: application/octet-stream
Size: 1560 bytes
Desc: not available
Url : http://lists.lri.fr/pipermail/termtools/attachments/20070605/16237adb/improved_usable-0001.obj
-------------- next part --------------
A non-text attachment was scrubbed...
Name: improved_usable.xml
Type: text/xml
Size: 6183 bytes
Desc: not available
Url : http://lists.lri.fr/pipermail/termtools/attachments/20070605/16237adb/improved_usable-0001.bin