/CSE.lhs/1.18/Fri Mar 18 13:40:11 2005//
/FloatIn.lhs/1.37/Fri Mar 18 13:40:12 2005//
/FloatOut.lhs/1.36/Fri Mar 18 13:40:12 2005//
/LiberateCase.lhs/1.31/Fri Mar 18 13:40:13 2005//
/OccurAnal.lhs/1.74/Mon Mar  7 16:46:18 2005//
/SAT.lhs/1.13/Fri Nov 10 15:12:53 2000//
/SATMonad.lhs/1.17/Thu Mar 31 10:16:42 2005//
/SetLevels.lhs/1.65/Fri Mar 18 13:40:13 2005//
/SimplCore.lhs/1.133/Fri Mar 18 13:40:17 2005//
/SimplEnv.lhs/1.43/Fri Mar 18 13:40:22 2005//
/SimplMonad.lhs/1.60/Fri Mar 18 13:40:23 2005//
/SimplUtils.lhs/1.98/Fri Mar 18 13:40:24 2005//
/Simplify.lhs/1.158/Fri Mar 18 13:40:28 2005//
/simplifier.tib/1.2/Fri Jul 19 18:37:38 1996//
D
