Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-08-01 11:19:10 -0700 (Fri, 01 Aug 2003)
Revision: 4807
Log message:

      Really stripped down the optimization section.  Just one reference
      overflows.
      

Changes	Path
+16 -12	metaprl/theories/experimental/compile/m_doc_opt.ml