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