Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-18 13:33:18 -0800 (Tue, 18 Jan 2005)
Revision: 6432
Log message:

      I think that keeping track of the class information in signatures
      is not necessary, so this is a commit before removal.
      

Changes  Path
+46 -29 metaprl-branches/opname_classes/filter/base/filter_cache_fun.ml
+3 -3 metaprl-branches/opname_classes/filter/base/filter_summary.ml
+2 -0 metaprl-branches/opname_classes/filter/base/filter_summary_type.ml
+1 -0 metaprl-branches/opname_classes/filter/base/filter_type.ml
+62 -50 metaprl-branches/opname_classes/filter/filter/filter_parse.ml
+16 -7 metaprl-branches/opname_classes/filter/filter/term_grammar.ml
+1 -0 metaprl-branches/opname_classes/refiner/reflib/Files
Added metaprl-branches/opname_classes/refiner/reflib/term_class_infer.ml
Properties metaprl-branches/opname_classes/refiner/reflib/term_class_infer.ml
Added metaprl-branches/opname_classes/refiner/reflib/term_class_infer.mli
Properties metaprl-branches/opname_classes/refiner/reflib/term_class_infer.mli
+1 -1 metaprl-branches/opname_classes/refiner/refsig/Files
+1 -1 metaprl-branches/opname_classes/refiner/term_gen/Files
+2 -1 metaprl-branches/opname_classes/refiner/term_gen/term_class_gen.ml
+0 -1 metaprl-branches/opname_classes/refiner/term_gen/term_shape_gen.ml