Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2005-03-16 14:34:30 -0800 (Wed, 16 Mar 2005)
Revision: 6946
Log message:
Finished the value judgment. You guys might want to check out the WithUniv and
WithTySubst terms in mmc_core_type_check_grammar.mli -- I think they might be
useful in some other contexts as well.