Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-04-21 13:58:10 -0700 (Tue, 21 Apr 1998)
Revision: 2146
Log message:

      Fixed typing problems introduced by refiner msequents.
      

Changes	Path
+5 -1	metaprl/editor/emacs/caml.el
+28 -17	metaprl/editor/ml/proof_step.ml
+9 -12	metaprl/editor/ml/shell_rewrite.ml
+11 -4	metaprl/filter/filter_parse.ml
+32 -15	metaprl/filter/filter_proof.ml
+8 -5	metaprl/filter/filter_proof_type.mlz
+8 -1	metaprl/theories/itt/itt_int.ml
+19 -16	metaprl/theories/tactic/tactic_cache.ml