Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-23 19:56:31 -0800 (Sun, 23 Jan 2005)
Revision: 6480
Log message:

      Upgrading mmc.
         - Added typeclasses for grammar symbols.
         - Do not check that iforms preserve types.
      
      mmc doesn't compile yet, and probably won't for a while
      until I am done.
      

Changes	Path
+7 -0	metaprl-branches/opname_classes2/filter/base/filter_cache_fun.ml
+1 -0	metaprl-branches/opname_classes2/filter/base/filter_summary_type.ml
+3 -0	metaprl-branches/opname_classes2/filter/base/filter_type.ml
+22 -7	metaprl-branches/opname_classes2/filter/filter/filter_parse.ml
+4 -0	metaprl-branches/opname_classes2/filter/filter/term_grammar.ml
+36 -0	metaprl-branches/opname_classes2/refiner/reflib/term_ty_infer.ml
+7 -0	metaprl-branches/opname_classes2/refiner/reflib/term_ty_infer.mli
+8 -0	metaprl-branches/opname_classes2/support/display/perv.ml
+4 -0	metaprl-branches/opname_classes2/support/display/perv.mli
+7 -0	metaprl-branches/opname_classes2/support/shell/package_info.ml
+1 -0	metaprl-branches/opname_classes2/support/shell/package_info.mli
+4 -1	metaprl-branches/opname_classes2/support/shell/shell_core.ml
+18 -7	metaprl-branches/opname_classes2/support/shell/shell_state.ml
+1 -1	metaprl-branches/opname_classes2/support/shell/shell_state.mli