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

      Placed propDecideT in itt_prop_decide.
      

Changes	Path
+6 -136	metaprl/editor/ml/test.ml
+1 -2	metaprl/editor/ml/test.mli
+2 -1	metaprl/editor/ml/x.ml
+1 -0	metaprl/theories/itt/Makefile
Added	metaprl/theories/itt/itt_prop_decide.ml
Properties	metaprl/theories/itt/itt_prop_decide.ml
Added	metaprl/theories/itt/itt_prop_decide.mli
Properties	metaprl/theories/itt/itt_prop_decide.mli
Binary	metaprl/theories/itt/itt_prop_decide.prlb
Properties	metaprl/theories/itt/itt_prop_decide.prlb
+1 -0	metaprl/theories/itt/itt_theory.ml
+1 -0	metaprl/theories/itt/itt_theory.mli