Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-01-04 17:17:51 -0800 (Mon, 04 Jan 1999)
Revision: 2559
Log message:

      Factorial example now works. To run:
      
      % ./mpopt
      # load "itt_test";;
      # cd "itt_test/fact650";;
      # refine timingT factT;;
      

Changes  Path
+0 -47 metaprl/theories/itt/Makefile
+3 -19 metaprl/theories/itt/itt_test.ml
+2 -1 metaprl/theories/itt/itt_test.mli
Deleted metaprl/theories/itt/test.ml
Deleted metaprl/theories/itt/test.mli