Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-13 11:48:21 -0800 (Sun, 13 Feb 2005)
Revision: 6668
Log message:

      Corrected the subtyping rule for hyp contexts.
      

Changes	Path
+248 -116	metaprl/refiner/reflib/term_ty_infer.ml
+1 -1	mpcompiler/mmc/core/mmc_core_closure.ml
+1 -1	mpcompiler/mmc/core/mmc_core_tast.ml
+2 -2	mpcompiler/mmc/core/mmc_core_tast.mli