Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-09-10 09:42:09 -0700 (Tue, 10 Sep 2002)
Revision: 3865
Log message:

      Wahoo!  This should finish the initial pass at the functions needed
      to convert between the FIR type system and terms.  I've changed
      a few term declarations so that they'd be more convinient to
      work with.
      

Changes  Path
+2 -0 metaprl/theories/fir/BUGS
+241 -0 metaprl/theories/fir/mfir_connect_ty.ml
+13 -0 metaprl/theories/fir/mfir_connect_ty.mli
+4 -9 metaprl/theories/fir/mfir_termOp.ml
+2 -6 metaprl/theories/fir/mfir_termOp.mli
+9 -15 metaprl/theories/fir/mfir_ty.ml
+1 -2 metaprl/theories/fir/mfir_ty.mli