Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-01-18 08:35:35 -0800 (Fri, 18 Jan 2002)
Revision: 3477
Log message:
1. Re-exported fir_eval.prla.
2. Mc_set : minor display form change.
3. Randomly reformatted some Conscripts it seems.
(I removed tab characters from the files.)
The next steps will be to:
1. Consider renaming all files in theories/mc
to start with mp_ or some other "unique" prefix
so that the naming is consistant
and avoids conflicts with files in MC.
2. Begin testing the mc_fir_connect code. This
will probably take some time to get completely
correct.