/README/1.2/Mon Nov 18 13:25:22 2002//
/WALK/1.1.1.1/Sat Sep  5 22:59:39 1998//
/intset.sml/1.1/Mon Nov 11 22:32:53 2002//
/sources.cm/1.5/Sat Oct 25 19:44:26 2003//
/subordinate.fun/1.20/Sat Oct 25 19:44:26 2003//
/subordinate.sig/1.6/Sat Oct 18 23:52:44 2003//
/subordinate.sml/1.5/Sat Dec 28 05:15:42 2002//
D
