Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-09-05 15:25:56 -0700 (Fri, 05 Sep 2003)
Revision: 4941
Log message:

      Start with empty MPFILES.
      

Changes  Path
+1 -26 metaprl/theories/tutorial/OMakefile