
21 Jun
2007
21 Jun
'07
6:31 a.m.
Sun Jun 17 02:37:34 PDT 2007 patrikj@chalmers.se * Renamed equalTree to equalWTree M ./comparison/LIGD/GEqTree.lhs -5 +5 M ./comparison/PolyP/GEqTree.lhs -3 +3 M ./comparison/TestGEqTree.lhs -3 +3 M ./comparison/test.hs -2