Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-09-17 19:23:22 -0700 (Mon, 17 Sep 2001)
Revision: 3384
Log message:
Modified some terms to work with the output
from the mc compiler. Still need to work on
getting output from mc to evaluate and type check
properly.