Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1997-04-29 09:16:47 -0700 (Tue, 29 Apr 1997)
Revision: 2033
Log message:

      Modified ml_format.
      

Changes	Path
Deleted	metaprl/refiner/ml_format.ml
Added	metaprl/refiner/ml_format.mli
Properties	metaprl/refiner/ml_format.mli