Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-08-02 09:22:32 -0700 (Thu, 02 Aug 2001)
Revision: 3359
Log message:

      Updated to compile fir_ty and fir_int_set now.
      

Changes	Path
+2 -0	metaprl/theories/mc/Makefile