Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-12-08 19:10:53 -0800 (Sat, 08 Dec 2001)
Revision: 3464
Log message:
Many changes:
- Began to redo the README file to be more useful/informative.
- Added a TODO file for this theory to keep track of what still
needs to be done.
- Regorganized where I declared int_set and rawint_set (Mc_set).
- Rewrote exceptions to use RefineError where reasonable/possible.
- Continuing to add "conversion" functions for MC FIR types
and MetaPRL terms. The great majority of them are there, but
they still need work and testing.
- Random updates to comments.