Sat Feb 16 04:23:49 PST 2008 patrikj at chalmers.se * UpdateSalary EMGM updated ./comparison/EMGM/Paradise.lhs -> ./comparison/EMGM/UpdateSalaryDef.lhs M ./comparison/EMGM/UpdateSalaryDef.lhs -31 +15 M ./comparison/log.txt +9