The free theorems generator online at: http://linux.tcs.inf.tu-dresden.de/~voigt/ft , previously announced here: http://www.haskell.org/pipermail/haskell/2007-October/019917.html , now allows to export generated theorems and associated information as .pdf files with nice mathematical markup. The new feature was implemented by Florian Stenger. It builds on Patryk Zadarnowski's lambdaTeX package. Have fun, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:voigt@tcs.inf.tu-dresden.de