Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-11-12 18:37:22 -0800 (Wed, 12 Nov 2003)
Revision: 5095
Log message:

      Fixing bug 116:
      Eliminating another place in Term_ds where nested sequents were not supported.
      

Changes	Path
+2 -2	metaprl/editor/ml/mpconfig
+27 -0	metaprl/refiner/term_ds/term_subst_ds.ml