Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-01-04 16:52:23 -0800 (Mon, 04 Jan 1999)
Revision: 2558
Log message:

      I've got test.opt to compile, but it would raise an exception when
      I try to run it, probably because I do not know how to
      call Sequent.create
      

Changes	Path
+7 -3	metaprl/theories/itt/Makefile
+3 -5	metaprl/theories/itt/itt_test.ml
+0 -2	metaprl/theories/itt/itt_test.mli