Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-12-29 19:58:59 -0800 (Tue, 29 Dec 1998)
Revision: 2531
Log message:

      The general intuitionistic propDecideT now works.
      There was a bug in Itt_logic preventing << false >> from
      being recognized.
      

Changes	Path
+157 -0	metaprl/editor/ml/test.ml
+1 -0	metaprl/editor/ml/test.mli
+4 -2	metaprl/theories/itt/itt_logic.ml