patch applied (generics): Further simplifications in CrushRight for LIGD and EMGM, as per RepLib paper section 5

12 Feb 2008


      Tue Feb 12 09:45:49 PST 2008  Alexey Rodriguez 
  * Further simplifications in CrushRight for LIGD and EMGM, as per RepLib paper section 5

    M ./comparison/EMGM/CrushRight.lhs -20 +20
    M ./comparison/LIGD/CrushRight.lhs -23 +24

Alexey Rodriguez Yakushev

tags

participants (1)