Sun Jun 17 06:23:41 PDT 2007 patrikj@chalmers.se * Added PolyP/Efficiency (second best) M ./comparison/Makefile -1 +1 M ./comparison/PolyP/BinTreeRep.lhs -1 +2 A ./comparison/PolyP/Efficiency.lhs M ./comparison/PolyP/GEq.lhs -1 M ./comparison/log.txt -6 +5