Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2003-08-07 16:25:08 -0700 (Thu, 07 Aug 2003)
Revision: 4818
Log message:

      Nathan and I came up with a few testcases...
      
      Unfortunatelly metaprl doesn't refine any of the testcases...
      
      We also ran into a few problems when compiling metaprl with omake.
      Apparently there are a few OMakefiles missing in directories like
      lib, editor...
      

Changes	Path
+52 -2	mpcompiler-branches/mojave_sequents/mmc/core/core_test.ml