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

      Beginning work on the functions needed to convert the FIR type system
      into (and out of) terms.
      

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