[Hs-Generics] patch applied (generics): UpdateSalary EMGM updated

21 Feb 2008


      Sat Feb 16 04:23:49 PST 2008  patrikj@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

[Hs-Generics] patch applied (generics): UpdateSalary EMGM updated

Alexey Rodriguez Yakushev