Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-26 09:56:56 -0700 (Mon, 26 Aug 2002)
Revision: 3825
Log message:

      Committing some stuff before I potentially kill my working copy of MetaPRL.
      I'm updating the README file with some notes to myself.  I'm also adding the
      Python script which i've been using to create mfir_termOp.ml*.  Note that I
      run the script by hand, as needed. The comments at the top of the script
      attempt to capture its assumptions and shortcomings.
      

Changes	Path
+3 -0	metaprl/theories/fir/README
Added	metaprl/theories/fir/termOp_gen.py
Properties	metaprl/theories/fir/termOp_gen.py