Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-09-06 14:08:37 -0700 (Fri, 06 Sep 2002)
Revision: 3854
Log message:

      I'm in the middle of resyncing the term declarations with the FIR.
      In the process, I've added some support for rudimentary records
      and ``options''.
      

Changes	Path
+14 -1	metaprl/theories/fir/BUGS
+10 -9	metaprl/theories/fir/Makefile
+4 -0	metaprl/theories/fir/README
+35 -13	metaprl/theories/fir/mfir_exp.ml
+32 -9	metaprl/theories/fir/mfir_exp.mli
+2 -0	metaprl/theories/fir/mfir_list.ml
Added	metaprl/theories/fir/mfir_option.ml
Properties	metaprl/theories/fir/mfir_option.ml
Added	metaprl/theories/fir/mfir_option.mli
Properties	metaprl/theories/fir/mfir_option.mli
Added	metaprl/theories/fir/mfir_record.ml
Properties	metaprl/theories/fir/mfir_record.ml
Added	metaprl/theories/fir/mfir_record.mli
Properties	metaprl/theories/fir/mfir_record.mli
+209 -50	metaprl/theories/fir/mfir_termOp.ml
+164 -38	metaprl/theories/fir/mfir_termOp.mli
+4 -0	metaprl/theories/fir/mfir_theory.mlz
+119 -68	metaprl/theories/fir/mfir_ty.ml
+19 -8	metaprl/theories/fir/mfir_ty.mli
+2 -2	metaprl/theories/fir/mfir_util.ml
+10 -4	metaprl/theories/fir/termOp_gen.py