Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1998-04-09 13:19:37 -0700 (Thu, 09 Apr 1998)
Revision: 2120
Log message:

      .
      

Changes	Path
+13 -2	metaprl/library/library.ml
+1 -0	metaprl/library/library.mli
+12 -11	metaprl/library/orb.ml
+1 -0	metaprl/library/orb.mli
+4 -1	metaprl/library/registry.ml
+32 -1	metaprl/library/test.ml