/Num_conv.sig/1.1/Thu Dec 28 15:13:38 2000//
/numScript.sml/1.6/Thu Dec 28 15:13:38 2000//
/numSyntax.sig/1.2/Thu Dec 28 15:13:39 2000//
/prim_recScript.sml/1.5/Thu Dec 28 15:13:38 2000//
/Num_conv.sml/1.4/Sat Feb 10 08:59:44 2001//
/numSyntax.sml/1.4/Sat Feb 10 08:59:45 2001//
/numeralScript.sml/1.7/Sat Feb 10 08:59:45 2001//
/arithmeticScript.sml/1.13/Wed Jun 20 11:40:42 2001//
D
