Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-09-23 09:13:15 -0700 (Mon, 23 Sep 2002)
Revision: 3894
Log message:

      Adding the file that will be used to convert FIR expressions
      to/from terms.
      

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