Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-07-04 08:52:29 -0700 (Wed, 04 Jul 2001)
Revision: 3313
Log message:

      Made var_subst a little more general.
      This fixes another bug that was affecting JProver.
      

Changes  Path
+1 -1 metaprl/refiner/term_ds/term_base_ds.ml
+8 -1 metaprl/refiner/term_ds/term_subst_ds.ml
+2 -3 metaprl/theories/itt/itt_logic.ml