/README/1.11/Mon Aug 25 16:55:34 2003//
/cover.fun/1.23/Fri Oct 24 14:57:15 2003//
/cover.sig/1.6/Mon Aug 25 16:55:34 2003//
/cover.sml/1.13/Mon Aug 25 16:55:34 2003//
/sources.cm/1.5/Mon Nov 11 20:12:19 2002//
/total.fun/1.12/Mon Aug 25 16:55:34 2003//
/total.sig/1.3/Sat Dec 28 05:15:40 2002//
D
