Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-27 19:42:10 -0700 (Tue, 27 Aug 2002)
Revision: 3830
Log message:

      This finishes off the atom typing rules, for the most part.  Finally sat down
      and when through all the binop's (cut, paste, and replace are such wonderful
      operations). (-:
      

Changes  Path
+0 -2 metaprl/theories/fir/mfir_exp.ml
+0 -2 metaprl/theories/fir/mfir_exp.mli
+0 -6 metaprl/theories/fir/mfir_termOp.ml
+0 -4 metaprl/theories/fir/mfir_termOp.mli
+383 -1 metaprl/theories/fir/mfir_tr_atom.ml