/Rules.lhs/1.1.1.1/Thu Jul  7 17:50:32 2005//
/SpecConstr.lhs/1.1.1.1/Thu Jul  7 17:50:32 2005//
/Specialise.lhs/1.1.1.1/Thu Jul  7 17:50:32 2005//
D
