[Termtools] TPDB 4.0

[Claude Marché]

The public TPDB database version 4.0 is now available on the web page

  http://www.lri.fr/~marche/tpdb/

The large sets of examples that have been submitted this year have
finally been entirely included. If you happen to find any clear
mistake, please tell me so that can fix it.

The competition will run on this set of examples (plus the sets of
secret problems that participants will send) but because of the new
large sets of problems, the organization committee decided to take for the
competition only a subset of them, randomly selected. The general rule
is that in a given directory, up to 128 problems only are taken. This
will affect the following directories:

TRS/TRCSR (535 problems)
TRS/TRCSR/inn (281 problems)
SRS/Waldmann07b (335 problems)
FP/basic_haskell (390 problems)
FP/full_haskell (1281 problems)

Any comments/questions welcome

- Claude

-- 
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                    |