Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-09-24 09:48:25 -0700 (Tue, 24 Sep 2002)
Revision: 3895
Log message:

      Committing a little work on the functions to translate the FIR into terms.
      

Changes	Path
+2 -0	metaprl/theories/fir/BUGS
+544 -0	metaprl/theories/fir/mfir_connect_exp.ml
+15 -0	metaprl/theories/fir/mfir_connect_exp.mli
+2 -2	metaprl/theories/fir/mfir_tr_atom.ml