[Termtools] strange proof

[Carsten Otto]

On Mon, Jun 04, 2007 at 09:56:50PM +0200, Johannes Waldmann wrote:
> Jörg Endrullis notes that this proof is at least incomplete:
> http://www.lri.fr/~marche/termination-competition/2007/webform.cgi?command=viewres&file=srs-standard.db&tool=torpa&prob=SRS.Gebhardt.02.srs

What about the proofs from Polytool in the LP category?
I am missing quite a bit of information there.

Bye,
-- 
Carsten Otto
c-otto at gmx.de
www.c-otto.de
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://lists.lri.fr/pipermail/termtools/attachments/20070604/41cd8551/attachment.pgp