/Rules.lhs/1.48/Mon Mar  7 16:46:24 2005//
/SpecConstr.lhs/1.24/Fri Mar 18 13:40:42 2005//
/Specialise.lhs/1.94/Thu Mar 31 10:16:43 2005//
D
