/FiniteMap.lhs/1.5/Tue Feb 12 15:17:27 2002//
/Makefile/1.10/Tue Feb 12 15:17:27 2002//
/Set.lhs/1.3/Tue Feb 12 15:17:27 2002//
/package.conf.in/1.1/Sat May 17 00:11:28 2003//
D
