Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-09-09 12:08:57 -0700 (Mon, 09 Sep 2002)
Revision: 3861
Log message:

      Updates to get the FIR theory to build with MCC.
      

Changes	Path
+1 -1	metaprl/editor/ml/Conscript
+1 -0	metaprl/theories/Conscript
Added	metaprl/theories/fir/Conscript
Properties	metaprl/theories/fir/Conscript