Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-06-20 23:54:53 -0700 (Fri, 20 Jun 2003)
Revision: 4677
Log message:

      Sequent args in the tests directory were outdated.
      

Changes	Path
+20 -20	metaprl/editor/ml/tests/prop-pigeon.ml
+1 -1	metaprl/editor/ml/tests/test.ml