Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-05-25 15:36:38 -0700 (Thu, 25 May 2000)
Revision: 2987
Log message:

      These were unused for a long time.
      

Changes	Path
Deleted	metaprl/editor/ml/io_proof.ml
Deleted	metaprl/editor/ml/io_proof.mli
Deleted	metaprl/editor/ml/package_df.ml
Deleted	metaprl/editor/ml/package_df.mli
Deleted	metaprl/editor/ml/package_edit.ml
Deleted	metaprl/editor/ml/package_edit.mli
Deleted	metaprl/editor/ml/package_int.ml
Deleted	metaprl/editor/ml/package_int.mli
Deleted	metaprl/editor/ml/proof_step.ml
Deleted	metaprl/editor/ml/proof_step.mli