[Termtools] Registrations

[Claude Marché]

The final data for tool registrations is the following. If there is
still mistakes in sub-categories, please tell me. 

Since there is only one tool for categories "modulo theory" and
"haskell", the "modulo theory" will not run this year, and the
"haskell" will be restricted to the basic set, for demonstration
purpose.

For the new certifying option, only specialzed tools are registered,
so unlike what is said in the rules, it will be run as a separate
category, on the same set of examples as the standard TRS. 

TRS
---
 standard: aprove, jambox, muterm, nti, tpa, ttt2
 relative:  jambox, tpa
 innermost: aprove, muterm
 contextsensitive: aprove, muterm
 certifying: cime+Coccinelle, TPA+Rainbow+CoLoR, TTT2+Rainbow+CoLoR

SRS
---
 standard: aprove, jambox, matchbox, multumnonmulta, nti, torpa, ttt2
 relative: jambox, matchbox, torpa

LP
--
 aprove, nti, polytool, talp


FP (haskell)
--
 aprove 

-- 
Claude Marché                          | tel: +33 1 72 92 59 69           
INRIA Futurs - ProVal                  | mobile: +33 6 33 14 57 93 
Parc Orsay Université - ZAC des Vignes | fax: +33 1 74 85 42 29   
3, rue Jacques Monod - Bâtiment N      | http://www.lri.fr/~marche/
F-91893 ORSAY Cedex                    |