Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-04 16:54:27 -0700 (Fri, 04 Jun 2004)
Revision: 5856
Log message:

      Removing some unused code that attempted to duplicate functionality already
      existing elsewhere.
      

Changes	Path
+2 -2	metaprl/support/shell/package_info.ml
+5 -8	metaprl/support/shell/proof_edit.ml
+2 -3	metaprl/support/shell/proof_edit.mli
+0 -1	metaprl/support/shell/shell_rule.ml