Mon Feb 11 12:38:59 PST 2008 Alexey Rodriguez <alexey@cs.uu.nl> * Reduce -> CrushRight, big patch * Changed names from Reduce -> CrushRight * Updated LIGD + representation + massive cleanup of CrushRight * Updated EMGM + massive cleanup of CrushRight * Changed back reporting of results in test.hs ./comparison/EMGM/Reduce.lhs -> ./comparison/EMGM/CrushRight.lhs ./comparison/LIGD/Reduce.lhs -> ./comparison/LIGD/CrushRight.lhs ./comparison/TestReduce.exp -> ./comparison/TestCrushRight.exp ./comparison/TestReduce.lhs -> ./comparison/TestCrushRight.lhs M ./comparison/EMGM/CrushRight.lhs -33 +57 M ./comparison/LIGD/BinTreeReps.hs -1 +1 M ./comparison/LIGD/CrushRight.lhs -43 +69 M ./comparison/LIGD/LIGD.lhs -27 +27 M ./comparison/LIGD/TreeReps.hs -1 +1 M ./comparison/TestCrushRight.lhs -2 +2 M ./comparison/test.hs -4 +2