/arithconv.sig/1.2.4.1/Wed Jun 25 02:17:25 1997//THOL97
/arithconv.sml/1.3.4.1/Sun Jun 22 17:25:44 1997//THOL97
/boolconv.sig/1.2.4.1/Wed Jun 25 02:16:54 1997//THOL97
/boolconv.sml/1.2.4.1/Sun Jun 22 17:16:30 1997//THOL97
/dest.sig/1.2.4.1/Wed Jun 25 02:15:59 1997//THOL97
/dest.sml/1.2.4.1/Sun Jun 29 14:16:23 1997//THOL97
/redconv.sig/1.2.4.1/Sun Jun 22 17:09:39 1997//THOL97
/redconv.sml/1.2.4.1/Sun Jun 22 17:31:29 1997//THOL97
/reduceLib.sml/1.1.2.1/Tue Jul  1 01:08:53 1997//THOL97
