Mon Feb 11 12:38:59 PST 2008 Alexey Rodriguez
* 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
