
17 Jun
2007
17 Jun
'07
6:42 p.m.
Fri Jun 15 12:09:16 PDT 2007 patrikj@chalmers.se * Completed LIGD/GEqTree with an implementation that works (by representing weighted trees by stripping the weight). M ./comparison/LIGD/GEqTree.lhs -1 +31 M ./comparison/PolyP/GEqTree.lhs -7 M ./comparison/TestGEq.lhs -9 M ./comparison/TestGEqTree.lhs -2