Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2003-04-03 09:36:07 -0800 (Thu, 03 Apr 2003)
Revision: 4380
Log message:

      Tried to clean-up the documentation in M_prog.
      

Changes	Path
+16 -25	metaprl/theories/experimental/compile/m_prog.ml