Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-08-04 17:55:27 -0700 (Mon, 04 Aug 2003)
Revision: 4815
Log message:

      mojave/core now compiles.  Next step is to do some testing.
      

Changes	Path
+19 -15	mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_type_infer.ml