/FiniteMap.lhs/1.6/Sat Oct  2 00:09:32 2004//
/Makefile/1.11/Fri Nov 26 16:21:59 2004//
/Set.lhs/1.4/Sat Oct  2 00:09:32 2004//
/package.conf.in/1.6/Fri Feb 18 15:06:39 2005//
D
