Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2003-04-03 16:14:56 -0800 (Thu, 03 Apr 2003)
Revision: 4383
Log message:

      Added booleans to the abstract syntax table and cleaned up
      trailing whitespace chars.  Not sure how much else I want to
      try cleaning up in this file before we get together to talk
      about the tech report.
      

Changes	Path
+17 -37	metaprl/theories/experimental/compile/m_ir.ml