Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-06-16 09:26:27 -0700 (Tue, 16 Jun 1998)
Revision: 2251
Log message:

      Added itt_test.
      

Changes	Path
+5 -1	metaprl/Makefile
+5 -1	metaprl/editor/ml/package_info.ml
+42 -18	metaprl/editor/ml/proof_edit.ml
+7 -4	metaprl/editor/ml/shell_p4.ml
+6 -2	metaprl/filter/Makefile
+5 -2	metaprl/filter/buffer.ml
+10 -6	metaprl/filter/filter_cache.ml
+22 -3	metaprl/filter/filter_prog.ml
+35 -20	metaprl/filter/prlcomp.ml
+7 -4	metaprl/horus/util.ml
+4 -7	metaprl/library/ascii_scan.ml
+7 -7	metaprl/library/db.ml
+10 -24	metaprl/library/mathBus.ml
+8 -5	metaprl/library/registry.ml
+2 -2	metaprl/mk/config
+4 -1	metaprl/mllib/file_util.ml
+7 -4	metaprl/mllib/filename_util.ml
+59 -1	metaprl/mllib/string_util.ml
+12 -0	metaprl/mllib/string_util.mli
+1 -1	metaprl/refiner/Makefile
+5 -2	metaprl/refiner/reflib/ml_string.ml
+7 -4	metaprl/refiner/reflib/rformat.ml
+20 -15	metaprl/refiner/reflib/term_table.ml
+7 -0	metaprl/refiner/reflib/term_table.mli
+2 -1	metaprl/theories/czf/Makefile
+39 -1	metaprl/theories/czf/czf_itt_false.ml
+3 -1	metaprl/theories/czf/czf_itt_false.mli
Added	metaprl/theories/czf/czf_itt_or.ml
Properties	metaprl/theories/czf/czf_itt_or.ml
Added	metaprl/theories/czf/czf_itt_or.mli
Properties	metaprl/theories/czf/czf_itt_or.mli
+7 -1	metaprl/theories/czf/czf_itt_set.ml
+7 -1	metaprl/theories/czf/czf_itt_set.mli
+40 -0	metaprl/theories/czf/czf_itt_true.ml
+46 -1	metaprl/theories/itt/Makefile
Added	metaprl/theories/itt/itt_test.ml
Properties	metaprl/theories/itt/itt_test.ml
Added	metaprl/theories/itt/itt_test.mli
Properties	metaprl/theories/itt/itt_test.mli
+18 -0	metaprl/theories/itt/itt_union.ml
+8 -0	metaprl/theories/itt/itt_union.mli
Added	metaprl/theories/itt/test.ml
Properties	metaprl/theories/itt/test.ml
+20 -12	metaprl/theories/itt/test.mli
+1 -0	metaprl/theories/ocaml/Makefile
+4 -0	metaprl/theories/tactic/sequent.ml
+4 -0	metaprl/theories/tactic/sequent.mli
+40 -3	metaprl/theories/tactic/tactic_type.ml
+4 -0	metaprl/theories/tactic/tactic_type.mli
+4 -1	metaprl/theories/tactic/var.ml
+2 -1	metaprl/util/Makefile