Thu May 31 08:57:19 PDT 2007 Alexey Rodriguez <alexey at cs.uu.nl> * SYB1_2 implements the new Reduce test, but fails because of inherent limitations. M ./comparison/SYB1_2/Reduce.lhs -18 +7 M ./comparison/TestReduce.lhs +1