Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2003-10-20 22:51:39 -0700 (Mon, 20 Oct 2003)
Revision: 5013
Log message:

      let_intro should probably be part of the intro resource...
      

Changes  Path
+1 -1 mpcompiler/mmc/core/mmc_core_type_check.ml