/all.T/1.1/Tue Jun 19 14:03:40 2001//
/empty.hs/1.1/Thu Mar  8 14:46:20 2001//
/operator.expected.stdout/1.1/Thu Mar  8 14:46:20 2001//
/operator.hs/1.1/Thu Mar  8 14:46:20 2001//
/puns.hs/1.1/Thu Mar  8 14:46:20 2001//
/showread.expect.stdout/1.1/Thu Mar  8 14:46:20 2001//
/showread.hs/1.1/Thu Mar  8 14:46:20 2001//
/type.expect.stdout/1.1/Thu Mar  8 14:46:20 2001//
/type.hs/1.1/Thu Mar  8 14:46:20 2001//
D
