Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-04-22 07:06:35 -0700 (Wed, 22 Apr 1998)
Revision: 2147
Log message:

      Implementing proof editor.
      

Changes	Path
+12 -0	metaprl/editor/ml/proof.mli
+17 -3	metaprl/editor/ml/proof_step.ml
+12 -5	metaprl/editor/ml/proof_step.mli
+7 -4	metaprl/editor/ml/shell_rewrite.ml
+1 -0	metaprl/refiner/Makefile
+11 -40	metaprl/refiner/refine.ml