[Termination tools] Conclusions termination competition

[Claude Marche]

>>>>> "Johannes" == Johannes Waldmann <waldmann at imn.htwk-leipzig.de> writes:

    Johannes> Dear Hans,
    Johannes> thank you for the discussion notes.
    Johannes> (Claude, do we have an archive of this mailing list?)

There is a "raw" archive at

http://www.lri.fr/~marche/wst2004-competition/termtools

-- 
| Claude Marché           | mailto:Claude.Marche at lri.fr |
| LRI - Bât. 490          | http://www.lri.fr/~marche/  |
| Université de Paris-Sud | phoneto: +33 1 69 15 64 85  |
| F-91405 ORSAY Cedex     | faxto: +33 1 69 15 65 86    |