Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 1998-04-07 11:08:03 -0700 (Tue, 07 Apr 1998)
Revision: 2105
Log message:

      mathbus, num, int32
      

Changes	Path
+5 -2	metaprl/library/Makefile
+7 -7	metaprl/library/basic.ml
+2 -2	metaprl/library/basic.mli
Added	metaprl/library/int32.ml
Properties	metaprl/library/int32.ml
Added	metaprl/library/int32.mli
Properties	metaprl/library/int32.mli
+142 -89	metaprl/library/mathBus.ml
+28 -24	metaprl/library/mathBus.mli
+73 -127	metaprl/library/mbterm.ml
+1 -1	metaprl/library/mbterm.mli
+3 -3	metaprl/library/nuprl5.ml
+3 -3	metaprl/library/nuprl5.mli
+0 -0	metaprl/library/orb.ml
+50 -66	metaprl/library/registry.ml
+10 -14	metaprl/library/registry.mli
Added	metaprl/library/registry.txt
Properties	metaprl/library/registry.txt
+1 -1	metaprl/library/test.ml