Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-05-08 19:59:34 -0700 (Wed, 08 May 2002)
Revision: 3613
Log message:
Okay, a few little changes here:
1) Many references to the MC compiler have been
changed to MCC (it's new name). I'm still
calling this theory MC.
2) Adding new files to split FIR term definitions even further.
The "prog" files will contain terms necessary to define
the overal structure of an FIR program, e.g. function definitions.
3) Updating Mp_mc_compile to use the updated apply_rewrite mechanism.
The bookmarks seem to be working out okay.