Sorry for the copy and paste error... Neil Mitchell schrieb:

Hi Dominik

...

although I have subscribed to the Haskell mailing list, my messages are automatically rejected when I try to send a mail to Haskell

Not anymore!

And btw, if you want to discuss transformation of boolean formulas, rather than announce a package that does them, haskell-cafe is probably a better choice.

Thanks

Neil

-- Dominik Luecke Phone +49-421-218-64265 Dept. of Computer Science Fax +49-421-218-9864265 University of Bremen luecke@tzi.de P.O.Box 330440, D-28334 Bremen PGP-Key ID 0x2D82571B