Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-09-09 14:28:40 -0700 (Mon, 09 Sep 2002)
Revision: 3862
Log message:

      Beginning work on updating the functions needed to convert the
      MCC FIR to the MetaPRL term representation declared in the FIR theory.
      

Changes	Path
+6 -1	metaprl/theories/fir/Conscript
Added	metaprl/theories/fir/mfir_connect_base.ml
Properties	metaprl/theories/fir/mfir_connect_base.ml
Added	metaprl/theories/fir/mfir_connect_base.mli
Properties	metaprl/theories/fir/mfir_connect_base.mli