Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-09-06 15:40:13 -0700 (Fri, 06 Sep 2002)
Revision: 3859
Log message:

      This finishes my update of all the FIR atoms.
      

Changes	Path
+5 -7	metaprl/theories/fir/BUGS
+2 -0	metaprl/theories/fir/README
+57 -3	metaprl/theories/fir/mfir_exp.ml
+5 -0	metaprl/theories/fir/mfir_exp.mli
+25 -0	metaprl/theories/fir/mfir_termOp.ml
+20 -0	metaprl/theories/fir/mfir_termOp.mli