D/reduce////
D/arith////
D/theories////
/numLib.sig/1.6/Wed Feb  7 00:26:15 2001//
/numLib.sml/1.14/Mon Jun 18 23:36:44 2001//
/NonRecSize.sml/1.13/Wed Jun 20 12:28:42 2001//
