Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-12 23:07:48 -0700 (Mon, 12 Aug 2002)
Revision: 3799
Log message:

      Oops, forgot to include these files (again).  At some point, I may consider
      simplifying these files to not include operations that won't be needed when
      connecting with MCC.  (These files are generated by a script that I run every
      now and then.  Once the core set of terms needed to represent the FIR
      stabalizes, I'll go through and clean these files out of anything that's not
      absolutely needed.  Otherwise, these files are total grunge that's painful to
      constantly maintain by hand when the term representation keeps changing.)
      

Changes  Path
+25 -0 metaprl/theories/fir/mfir_termOp.ml
+20 -0 metaprl/theories/fir/mfir_termOp.mli