[Haskell] Transformation of boolean formulas

[Dominik Luecke]

Hello,

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

Regards,
 Dominik

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