Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2003-04-02 22:42:22 -0800 (Wed, 02 Apr 2003)
Revision: 4375
Log message:

      Wrote a little documentation for dead code elimination.  Mostly,
      this is just clean-up.  Is 'redeces' the plural form of 'redex'?
      If it isn't, that'll need to be fixed here.
      

Changes	Path
+20 -25	metaprl/theories/experimental/compile/m_dead.ml