Changes by: Eli Barzilay (eli at cs.cornell.edu)
Date: 1998-08-13 08:58:24 -0700 (Thu, 13 Aug 1998)
Revision: 2438
Log message:

      Removed redundant onSomeHyp from base_auto_tactic.
      Added proveInt in test.ml.
      

Changes	Path
+42 -33	metaprl/editor/ml/test.ml
+0 -6	metaprl/editor/ml/test.mli
Binary	metaprl/editor/ml/test.prlb
Properties	metaprl/editor/ml/test.prlb
+7 -18	metaprl/editor/ml/x.ml
+0 -27	metaprl/theories/base/base_auto_tactic.ml
+0 -5	metaprl/theories/base/base_auto_tactic.mli
+16 -0	metaprl/theories/tactic/tacticals.ml
+1 -0	metaprl/theories/tactic/tacticals.mli