[Termtools] Wanted: TrafO information

[Simon Bailey]

Johannes Waldmann wrote:
> Hi.
> 
> Who is the TrafO participant in the outermost category?
> 
> Half Aprove,
> http://termcomp.uibk.ac.at/termcomp/competition/resultDetail.seam?resultId=49529&cid=1216
> half Jambox?
> http://termcomp.uibk.ac.at/termcomp/competition/resultDetail.seam?resultId=49457&cid=1216
> 
> Authors: please make an entry in the wiki/tools section.
> 
> Simon: who submitted TrafO?

TU/e 	 mraffels(Matthias Raffelsieper) 	 M.Raffelsieper at tue.nl

regards,
sb

-- 
Simon Bailey
Systems Administrator
Institut fuer Informatik
Universitaet Innsbruck
Technikerstrasse 21a/2
A-6020 Innsbruck
Tel: +43 (0) 512 507 - 6433
Mob: +43 (0) 664 812 5267
Fax: +43 (0) 512 507 - 2887
http://informatik.uibk.ac.at/