Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-04-08 07:57:37 -0700 (Wed, 08 Apr 1998)
Revision: 2107
Log message:

      ImpDag is in mllib.
      

Changes	Path
+4 -13	metaprl/editor/ml/Makefile
Deleted	metaprl/editor/ml/file_util.ml
Deleted	metaprl/editor/ml/file_util.mli
Deleted	metaprl/editor/ml/imp_dag.ml
Deleted	metaprl/editor/ml/imp_dag.mli
+3 -1	metaprl/filter/filter_cache.ml
+4 -1	metaprl/filter/filter_debug.ml
+5 -2	metaprl/mllib/Makefile
Added	metaprl/mllib/bitset.ml
Properties	metaprl/mllib/bitset.ml
Added	metaprl/mllib/bitset.mli
Properties	metaprl/mllib/bitset.mli
Added	metaprl/mllib/dag.mlz
Properties	metaprl/mllib/dag.mlz
+63 -0	metaprl/mllib/file_util.ml
+10 -0	metaprl/mllib/file_util.mli
Added	metaprl/mllib/imp_dag.ml
Properties	metaprl/mllib/imp_dag.ml
Added	metaprl/mllib/imp_dag.mli
Properties	metaprl/mllib/imp_dag.mli
Added	metaprl/mllib/precedence.ml
Properties	metaprl/mllib/precedence.ml
Added	metaprl/mllib/precedence.mli
Properties	metaprl/mllib/precedence.mli
+55 -248	metaprl/refiner/precedence.ml
+26 -24	metaprl/refiner/precedence.mli
Added	metaprl/refiner/refiner_exn.ml
Properties	metaprl/refiner/refiner_exn.ml
Added	metaprl/refiner/refiner_exn.mli
Properties	metaprl/refiner/refiner_exn.mli
+7 -4	metaprl/theories/tactic/tactic_cache.ml