/Lib.sig/1.1.2.1/Tue Aug  6 11:31:32 1996//THOL97
/min.sig/1.1.2.1/Mon Jul 14 16:14:53 1997//THOL97
/min.sml/1.1.2.1/Mon Jul 14 16:14:53 1997//THOL97
/Equal.sig/1.1.2.1.2.1/Sat Jul  5 21:17:13 1997//THOL97
/Equal.sml/1.1.2.1.2.1/Mon Jul 14 16:46:31 1997//THOL97
/Lib.sml/1.1.2.2.2.2/Mon Jul 14 16:14:52 1997//THOL97
/Trace.sig/1.1.2.1/Tue Jul  1 01:45:50 1997//THOL97
/Trace.sml/1.1.2.1.2.1/Sat Jul  5 21:17:50 1997//THOL97
/liteLib.sml/1.1.2.1/Tue Jul  1 01:42:18 1997//THOL97
