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