Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2002-06-27 22:03:00 -0700 (Thu, 27 Jun 2002)
Revision: 3725
Log message:

      Added old files for easy restoral.
      

Changes	Path
Added	metaprl/theories/mc/mp_mc_base.ml.old
Properties	metaprl/theories/mc/mp_mc_base.ml.old
Added	metaprl/theories/mc/mp_mc_compile.ml.old
Properties	metaprl/theories/mc/mp_mc_compile.ml.old