/README/1.1.1.1/Sat Sep  5 22:59:33 1998//
/WALK/1.1.1.1/Sat Sep  5 22:59:34 1998//
/modecheck.fun/1.21/Fri Oct 24 14:57:15 2003//
/modecheck.sig/1.6/Mon Aug 25 16:55:35 2003//
/modedec.fun/1.10/Sat Oct 18 23:52:44 2003//
/modedec.sig/1.5/Mon Aug 25 16:55:35 2003//
/modeprint.fun/1.6/Thu Aug 21 02:25:19 2003//
/modeprint.sig/1.4/Wed Aug 20 00:29:37 2003//
/modes.sml/1.5/Wed Aug 20 00:29:37 2003//
/modesyn.sml/1.2/Thu Aug 21 02:25:19 2003//
/modetable.fun/1.1/Wed Aug 20 00:29:37 2003//
/modetable.sig/1.1/Wed Aug 20 00:29:37 2003//
/sources.cm/1.4/Thu Aug 21 02:25:19 2003//
D
