Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-20 18:53:38 -0800 (Thu, 20 Jan 2005)
Revision: 6459
Log message:

      This is a nop-commit.  I just renamed Term_class to Term_ty, which
      is a bit more descriptive.
      

Changes  Path
+47 -47 metaprl-branches/opname_classes2/filter/base/filter_cache_fun.ml
+1 -1 metaprl-branches/opname_classes2/filter/base/filter_magic.ml
+138 -139 metaprl-branches/opname_classes2/filter/base/filter_summary.ml
+3 -3 metaprl-branches/opname_classes2/filter/base/filter_summary_type.ml
+9 -9 metaprl-branches/opname_classes2/filter/base/filter_type.ml
+32 -32 metaprl-branches/opname_classes2/filter/filter/filter_parse.ml
+2 -2 metaprl-branches/opname_classes2/filter/filter/filter_prog.ml
+90 -88 metaprl-branches/opname_classes2/filter/filter/term_grammar.ml
+2 -2 metaprl-branches/opname_classes2/refiner/refiner/refine_error.ml
+3 -3 metaprl-branches/opname_classes2/refiner/refiner/refiner_ds.ml
+3 -3 metaprl-branches/opname_classes2/refiner/refiner/refiner_std.ml
+1 -1 metaprl-branches/opname_classes2/refiner/reflib/Files
+5 -5 metaprl-branches/opname_classes2/refiner/reflib/refine_exn.ml
Deleted metaprl-branches/opname_classes2/refiner/reflib/term_class_infer.ml
Deleted metaprl-branches/opname_classes2/refiner/reflib/term_class_infer.mli
Added metaprl-branches/opname_classes2/refiner/reflib/term_ty_infer.ml
Properties metaprl-branches/opname_classes2/refiner/reflib/term_ty_infer.ml
Added metaprl-branches/opname_classes2/refiner/reflib/term_ty_infer.mli
Properties metaprl-branches/opname_classes2/refiner/reflib/term_ty_infer.mli
+1 -1 metaprl-branches/opname_classes2/refiner/refsig/Files
+4 -4 metaprl-branches/opname_classes2/refiner/refsig/refine_error_sig.ml
+5 -5 metaprl-branches/opname_classes2/refiner/refsig/refiner_sig.ml
Deleted metaprl-branches/opname_classes2/refiner/refsig/term_class_sig.ml
Added metaprl-branches/opname_classes2/refiner/refsig/term_ty_sig.ml
Properties metaprl-branches/opname_classes2/refiner/refsig/term_ty_sig.ml
+1 -1 metaprl-branches/opname_classes2/refiner/term_gen/Files
Deleted metaprl-branches/opname_classes2/refiner/term_gen/term_class_gen.ml
Deleted metaprl-branches/opname_classes2/refiner/term_gen/term_class_gen.mli
+2 -2 metaprl-branches/opname_classes2/support/shell/shell_state.ml