/README/1.1/Fri Mar 30 00:30:28 2001//
/TODO/1.3/Fri Mar 30 00:30:28 2001//
/sources.cm/1.8/Mon Aug 25 16:55:36 2003//
/worldcheck.sml/1.9/Mon Aug 25 16:55:36 2003//
/worldify.fun/1.3/Wed Jan 14 05:16:11 2004//
/worldify.sig/1.2/Mon Aug 25 16:55:36 2003//
/worldprint.fun/1.4/Mon Aug 25 16:55:36 2003//
/worldprint.sig/1.3/Mon Aug 25 16:55:36 2003//
/worldsyn.fun/1.23/Mon Aug 25 16:55:36 2003//
/worldsyn.sig/1.8/Mon Aug 25 16:55:36 2003//
D
