/CSE.lhs/1.1.1.1/Thu Jul  7 17:50:32 2005//
/FloatIn.lhs/1.1.1.1/Thu Jul  7 17:50:32 2005//
/FloatOut.lhs/1.1.1.1/Thu Jul  7 17:50:32 2005//
/LiberateCase.lhs/1.1.1.1/Thu Jul  7 17:50:32 2005//
/OccurAnal.lhs/1.1.1.1/Thu Jul  7 17:50:32 2005//
/SAT.lhs/1.1.1.1/Thu Jul  7 17:50:32 2005//
/SATMonad.lhs/1.1.1.1/Thu Jul  7 17:50:32 2005//
/SetLevels.lhs/1.1.1.1/Thu Jul  7 17:50:32 2005//
/SimplCore.lhs/1.1.1.1/Thu Jul  7 17:50:32 2005//
/SimplMonad.lhs/1.1.1.1/Thu Jul  7 17:50:32 2005//
/SimplUtils.lhs/1.1.1.1/Thu Jul  7 17:50:32 2005//
/Simplify.lhs/1.1.1.1/Thu Jul  7 17:50:32 2005//
/simplifier.tib/1.1.1.1/Thu Jul  7 17:50:32 2005//
D
