/CSE.lhs/1.15/Thu Jan  8 11:53:29 2004//
/FloatIn.lhs/1.34/Fri Apr  2 13:34:46 2004//
/FloatOut.lhs/1.33/Wed Apr 21 12:45:55 2004//
/LiberateCase.lhs/1.25/Fri Apr  5 23:24:30 2002//
/OccurAnal.lhs/1.71/Fri Apr  2 13:34:46 2004//
/SAT.lhs/1.13/Fri Nov 10 15:12:53 2000//
/SATMonad.lhs/1.16/Thu Oct 25 02:13:13 2001//
/SetLevels.lhs/1.59/Tue Sep 23 15:29:02 2003//
/SimplCore.lhs/1.122/Wed Apr 21 12:45:55 2004//
/SimplMonad.lhs/1.57/Wed Apr 21 12:45:56 2004//
/SimplUtils.lhs/1.92/Tue Dec 30 16:29:22 2003//
/Simplify.lhs/1.149/Fri Sep 26 09:01:08 2003//
/simplifier.tib/1.2/Fri Jul 19 18:37:38 1996//
D
