Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-23 18:10:43 -0700 (Wed, 23 Jul 2003)
Revision: 4770
Log message:

      I am changing check-status to expect TESTS=yes instead of TESTS=no
      In parricular, now the jprover_tests theory will have actual proofs
      and the check-status will track their status as well.
      

Changes	Path
+52 -5	metaprl/theories/itt/jprover_tests.ml
Added	metaprl/theories/itt/jprover_tests.prla
Properties	metaprl/theories/itt/jprover_tests.prla
+3 -3	metaprl/util/check-status