case-eta-expansion

Hi, Can someone tell me, where exactly (in the code of ghc5.04.3) the case-eta-expansion is performed, I searched the modules of the simplifier, but didn't find this transformation. Or is it no longer performed in ghc5.04.3? Thanks, David