/modsyn.fun/1.5/Tue Nov 30 14:23:18 2004//
/modsyn.sig/1.2/Sat Dec 28 05:15:41 2002//
/modules.sml/1.2/Sat Dec 28 05:15:41 2002//
/sources.cm/1.2/Mon Sep 16 11:01:12 2002//
D
