This page allows to automatically generate free theorems for types as described here. It is based on FTbase and a Perl script to process user input and to generate a result page.

UPDATE: There is a new version available. Please go to http://linux.tcs.inf.tu-dresden.de/~voigt/ft/ to use it.