/CSE.lhs/1.14/Thu Feb 14 14:02:55 2002//
/FloatIn.lhs/1.33/Thu Feb 20 18:33:54 2003//
/FloatOut.lhs/1.32/Tue Sep 23 15:29:02 2003//
/LiberateCase.lhs/1.25/Fri Apr  5 23:24:30 2002//
/OccurAnal.lhs/1.70/Wed Dec 17 11:29:41 2003//
/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.118/Wed Oct 29 18:14:28 2003//
/SimplMonad.lhs/1.56/Wed Jun 25 08:20:21 2003//
/SimplUtils.lhs/1.91/Tue Sep 23 14:33:05 2003//
/Simplify.lhs/1.149/Fri Sep 26 09:01:08 2003//
/simplifier.tib/1.2/Fri Jul 19 18:37:38 1996//
D
