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

      Adding types.  This won't compile until I push through the changes.
      

Changes	Path
+3 -3	mpcompiler-branches/opname_classes2/mmc/base/mmc_base_dform.ml
+2 -5	mpcompiler-branches/opname_classes2/mmc/base/mmc_base_judgment.ml
+1 -3	mpcompiler-branches/opname_classes2/mmc/base/mmc_base_judgment.mli
+6 -6	mpcompiler-branches/opname_classes2/mmc/core/mmc_core_grammar.ml
+6 -6	mpcompiler-branches/opname_classes2/mmc/core/mmc_core_grammar.mli
+8 -3	mpcompiler-branches/opname_classes2/mmc/core/mmc_core_tast.ml