/reduceLib.sig/1.6/Tue Feb  6 17:08:34 2001//
/Arithconv.sig/1.2/Sat Feb 10 08:59:44 2001//
/Arithconv.sml/1.4/Sat Feb 10 08:59:44 2001//
/Boolconv.sig/1.2/Sat Feb 10 08:59:44 2001//
/Boolconv.sml/1.4/Sat Feb 10 08:59:44 2001//
/reduceLib.sml/1.11/Mon May  7 14:19:17 2001//
D
