The tool for generating free theorems for sublanguages of Haskell has moved to http://www-ps.iai.uni-bonn.de/ft .