Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2003-03-25 23:36:43 -0800 (Tue, 25 Mar 2003)
Revision: 4238
Log message:

      Fixing an obvious mistake in the label/heading for the
      closure conversion section of the paper.
      

Changes	Path
+1 -1	metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_closure.ml