/all.T/1.1/Tue Jun 19 14:03:40 2001//
/qual.hs/1.1/Thu Mar  8 14:46:21 2001//
/twiddle.hs/1.1/Thu Mar  8 14:46:21 2001//
D
