Changes by: Jason Hickey (jyh at cs.caltech.edu) Date: 2004-04-10 17:31:44 -0700 (Sat, 10 Apr 2004) Revision: 5630 Log message:
Moved beta reduction into the Mmc_core_inline module.