Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-12 15:52:42 -0700 (Mon, 12 Aug 2002)
Revision: 3795
Log message:

      Oops.  Forgot about these minor changes to term operators.
      

Changes	Path
+5 -0	metaprl/theories/fir/mfir_termOp.ml
+4 -0	metaprl/theories/fir/mfir_termOp.mli