Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-31 09:22:34 -0800 (Mon, 31 Jan 2005)
Revision: 6536
Log message:

      Hypotheses have existential type, not universal.
      

Changes	Path
+4 -2	metaprl-branches/opname_classes2/filter/filter/filter_patt.ml
+2 -2	metaprl-branches/opname_classes2/filter/filter/term_grammar.ml
+50 -53	metaprl-branches/opname_classes2/refiner/reflib/term_ty_infer.ml
+1 -1	metaprl-branches/opname_classes2/refiner/reflib/term_ty_infer.mli
+3 -0	metaprl-branches/opname_classes2/refiner/refsig/term_op_sig.ml
+1 -1	metaprl-branches/opname_classes2/refiner/refsig/term_sig.ml
+1 -1	metaprl-branches/opname_classes2/refiner/term_ds/term_ds.ml
+1 -1	metaprl-branches/opname_classes2/refiner/term_ds/term_ds_sig.ml
+2 -2	metaprl-branches/opname_classes2/refiner/term_ds/term_man_ds.ml
+19 -0	metaprl-branches/opname_classes2/refiner/term_ds/term_op_ds.ml
+2 -2	metaprl-branches/opname_classes2/refiner/term_gen/term_man_gen.ml
+19 -0	metaprl-branches/opname_classes2/refiner/term_std/term_op_std.ml
+1 -1	metaprl-branches/opname_classes2/refiner/term_std/term_std.ml
+1 -1	metaprl-branches/opname_classes2/refiner/term_std/term_std_sig.ml
+3 -3	metaprl-branches/opname_classes2/support/display/perv.ml
+1 -1	metaprl-branches/opname_classes2/support/display/perv.mli
+1 -1	mpcompiler-branches/opname_classes2/mmc/base/mmc_base_judgment.mli