Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1997-09-11 08:36:13 -0700 (Thu, 11 Sep 1997)
Revision: 2064
Log message:

      .
      

Changes	Path
+48 -70	metaprl/library/library.ml
+38 -22	metaprl/library/library.mli
+42 -23	metaprl/library/orb.ml
+4 -12	metaprl/library/orb.mli
+76 -17	metaprl/library/test.ml
+3 -1	metaprl/library/utils.mli