/Batch.hs/1.2/Wed Feb  2 13:16:49 2005//Tnhc98-1-18-release
/Poly.hs/1.2/Tue Apr 13 15:59:17 2004//Tnhc98-1-18-release
/Utils.hs/1.1/Wed Mar 31 09:42:08 2004//Tnhc98-1-18-release
D
