
15 Jun
2007
15 Jun
'07
11:38 p.m.
Fri Jun 15 10:40:12 PDT 2007 patrikj@chalmers.se * LIGD/Nested (working) and LIGD/GEqTree (failing) added M ./comparison/LIGD/GEq.lhs -1 +1 A ./comparison/LIGD/GEqTree.lhs A ./comparison/LIGD/Nested.lhs A ./comparison/LIGD/PerfectReps.hs A ./comparison/TestNested.exp