Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-02-04 19:44:12 -0800 (Thu, 04 Feb 1999)
Revision: 2586
Log message:

      There is no need for separate .mlz file
      

Changes	Path
+12 -1	metaprl/mllib/infinite_ro_array.mli
Deleted	metaprl/mllib/infinite_ro_array_sig.mlz