/Batch.hs/1.5/Thu May  9 13:16:31 2002//
/Poly.hs/1.5/Thu May  9 13:16:31 2002//
/Utils.hs/1.6/Thu May  9 13:16:31 2002//
D
