some small fixes and additions
authorceriel <none@none>
Wed, 22 Jul 1987 12:42:10 +0000 (12:42 +0000)
committerceriel <none@none>
Wed, 22 Jul 1987 12:42:10 +0000 (12:42 +0000)
commit0aea30473c2c5eaac35d2fbfe414b5eda855d30f
tree078b811b4982af3b20283ba67b0f58d80c118045
parent85053cf283b3bacaa7c9553795379cd21df4b1ce
some small fixes and additions
lang/m2/libm2/MathLib0.mod
lang/m2/libm2/Mathlib.mod