/Rules.lhs/1.38/Mon Nov 17 14:47:53 2003//
/SpecConstr.lhs/1.20/Wed Feb 12 15:01:40 2003//
/Specialise.lhs/1.87/Wed Dec 17 11:29:41 2003//
D
