Used new math lib of C to create new version of Mathlib
authorceriel <none@none>
Mon, 25 Jul 1988 16:41:51 +0000 (16:41 +0000)
committerceriel <none@none>
Mon, 25 Jul 1988 16:41:51 +0000 (16:41 +0000)
commitdbbff76f4c12776d335a6b84a0dfc77543804e4d
treea588254deb091b61cdfce6cd6171236f21165d52
parente98a6708509c069eac1af3c007c36a034adef627
Used new math lib of C to create new version of Mathlib
lang/m2/libm2/Mathlib.def
lang/m2/libm2/Mathlib.mod