/Rules.lhs/1.39/Wed Apr 21 12:45:58 2004//
/SpecConstr.lhs/1.20/Wed Feb 12 15:01:40 2003//
/Specialise.lhs/1.88/Fri Apr  2 11:57:49 2004//
D
