Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-05-28 08:02:46 -0700 (Thu, 28 May 1998)
Revision: 2191
Log message:

      Partitioned refiner into subdirectories.
      

Changes	Path
+9 -1	metaprl/filter/Makefile
+5 -1	metaprl/library/Makefile
Properties	metaprl/refiner
Deleted	metaprl/refiner/.cprc
+29 -75	metaprl/refiner/Makefile
Deleted	metaprl/refiner/dform.ml
Deleted	metaprl/refiner/dform.mli
Deleted	metaprl/refiner/dform_print.ml
Deleted	metaprl/refiner/dform_print.mli
Deleted	metaprl/refiner/ml_file.ml
Deleted	metaprl/refiner/ml_file.mli
Deleted	metaprl/refiner/ml_format.mli
Deleted	metaprl/refiner/ml_format_sig.ml
Deleted	metaprl/refiner/ml_print.ml
Deleted	metaprl/refiner/ml_print.mli
Deleted	metaprl/refiner/ml_print_sig.ml
Deleted	metaprl/refiner/ml_string.ml
Deleted	metaprl/refiner/ml_string.mli
Deleted	metaprl/refiner/opname.ml
Deleted	metaprl/refiner/opname.mli
Properties	metaprl/refiner/refbase
Added	metaprl/refiner/refbase/Makefile
Properties	metaprl/refiner/refbase/Makefile
Added	metaprl/refiner/refbase/opname.ml
Properties	metaprl/refiner/refbase/opname.ml
Added	metaprl/refiner/refbase/opname.mli
Properties	metaprl/refiner/refbase/opname.mli
Deleted	metaprl/refiner/refine.ml
Deleted	metaprl/refiner/refine.mli
Deleted	metaprl/refiner/refine_exn.ml
Deleted	metaprl/refiner/refine_exn.mli
Deleted	metaprl/refiner/refine_sig.ml
Properties	metaprl/refiner/refiner
Added	metaprl/refiner/refiner/Makefile
Properties	metaprl/refiner/refiner/Makefile
Added	metaprl/refiner/refiner/refine.ml
Properties	metaprl/refiner/refiner/refine.ml
Added	metaprl/refiner/refiner/refine.mli
Properties	metaprl/refiner/refiner/refine.mli
Added	metaprl/refiner/refiner/refiner.ml
Properties	metaprl/refiner/refiner/refiner.ml
Added	metaprl/refiner/refiner/refiner.mli
Properties	metaprl/refiner/refiner/refiner.mli
Added	metaprl/refiner/refiner/refiner_ds.ml
Properties	metaprl/refiner/refiner/refiner_ds.ml
Added	metaprl/refiner/refiner/refiner_ds.mli
Properties	metaprl/refiner/refiner/refiner_ds.mli
Added	metaprl/refiner/refiner/refiner_std.ml
Properties	metaprl/refiner/refiner/refiner_std.ml
Added	metaprl/refiner/refiner/refiner_std.mli
Properties	metaprl/refiner/refiner/refiner_std.mli
Added	metaprl/refiner/refiner/rewrite.ml
Properties	metaprl/refiner/refiner/rewrite.ml
Added	metaprl/refiner/refiner/rewrite.mli
Properties	metaprl/refiner/refiner/rewrite.mli
Deleted	metaprl/refiner/refiner.ml
Deleted	metaprl/refiner/refiner.mli
Deleted	metaprl/refiner/refiner_ds.ml
Deleted	metaprl/refiner/refiner_ds.mli
Deleted	metaprl/refiner/refiner_sig.ml
Deleted	metaprl/refiner/refiner_std.ml
Deleted	metaprl/refiner/refiner_std.mli
Properties	metaprl/refiner/reflib
Added	metaprl/refiner/reflib/Makefile
Properties	metaprl/refiner/reflib/Makefile
Added	metaprl/refiner/reflib/dform.ml
Properties	metaprl/refiner/reflib/dform.ml
Added	metaprl/refiner/reflib/dform.mli
Properties	metaprl/refiner/reflib/dform.mli
Added	metaprl/refiner/reflib/dform_print.ml
Properties	metaprl/refiner/reflib/dform_print.ml
Added	metaprl/refiner/reflib/dform_print.mli
Properties	metaprl/refiner/reflib/dform_print.mli
Added	metaprl/refiner/reflib/ml_file.ml
Properties	metaprl/refiner/reflib/ml_file.ml
Added	metaprl/refiner/reflib/ml_file.mli
Properties	metaprl/refiner/reflib/ml_file.mli
Added	metaprl/refiner/reflib/ml_format.ml
Properties	metaprl/refiner/reflib/ml_format.ml
Added	metaprl/refiner/reflib/ml_format.mli
Properties	metaprl/refiner/reflib/ml_format.mli
Added	metaprl/refiner/reflib/ml_format_sig.mlz
Properties	metaprl/refiner/reflib/ml_format_sig.mlz
Added	metaprl/refiner/reflib/ml_print.ml
Properties	metaprl/refiner/reflib/ml_print.ml
Added	metaprl/refiner/reflib/ml_print.mli
Properties	metaprl/refiner/reflib/ml_print.mli
Added	metaprl/refiner/reflib/ml_print_sig.mlz
Properties	metaprl/refiner/reflib/ml_print_sig.mlz
Added	metaprl/refiner/reflib/ml_string.ml
Properties	metaprl/refiner/reflib/ml_string.ml
Added	metaprl/refiner/reflib/ml_string.mli
Properties	metaprl/refiner/reflib/ml_string.mli
Added	metaprl/refiner/reflib/refine_exn.ml
Properties	metaprl/refiner/reflib/refine_exn.ml
Added	metaprl/refiner/reflib/refine_exn.mli
Properties	metaprl/refiner/reflib/refine_exn.mli
Added	metaprl/refiner/reflib/resource.ml
Properties	metaprl/refiner/reflib/resource.ml
Added	metaprl/refiner/reflib/resource.mli
Properties	metaprl/refiner/reflib/resource.mli
Added	metaprl/refiner/reflib/rformat.ml
Properties	metaprl/refiner/reflib/rformat.ml
Added	metaprl/refiner/reflib/rformat.mli
Properties	metaprl/refiner/reflib/rformat.mli
Added	metaprl/refiner/reflib/simple_print.ml
Properties	metaprl/refiner/reflib/simple_print.ml
Added	metaprl/refiner/reflib/simple_print.mli
Properties	metaprl/refiner/reflib/simple_print.mli
Added	metaprl/refiner/reflib/term_dtable.ml
Properties	metaprl/refiner/reflib/term_dtable.ml
Added	metaprl/refiner/reflib/term_dtable.mli
Properties	metaprl/refiner/reflib/term_dtable.mli
Added	metaprl/refiner/reflib/term_stable.ml
Properties	metaprl/refiner/reflib/term_stable.ml
Added	metaprl/refiner/reflib/term_stable.mli
Properties	metaprl/refiner/reflib/term_stable.mli
Added	metaprl/refiner/reflib/term_table.ml
Properties	metaprl/refiner/reflib/term_table.ml
Added	metaprl/refiner/reflib/term_table.mli
Properties	metaprl/refiner/reflib/term_table.mli
Added	metaprl/refiner/reflib/term_template.ml
Properties	metaprl/refiner/reflib/term_template.ml
Added	metaprl/refiner/reflib/term_template.mli
Properties	metaprl/refiner/reflib/term_template.mli
Added	metaprl/refiner/reflib/theory.ml
Properties	metaprl/refiner/reflib/theory.ml
Added	metaprl/refiner/reflib/theory.mli
Properties	metaprl/refiner/reflib/theory.mli
Properties	metaprl/refiner/refsig
Added	metaprl/refiner/refsig/Makefile
Properties	metaprl/refiner/refsig/Makefile
Added	metaprl/refiner/refsig/refine_sig.ml
Properties	metaprl/refiner/refsig/refine_sig.ml
Added	metaprl/refiner/refsig/refiner_sig.ml
Properties	metaprl/refiner/refsig/refiner_sig.ml
Added	metaprl/refiner/refsig/resource.mlz
Properties	metaprl/refiner/refsig/resource.mlz
Added	metaprl/refiner/refsig/rewrite_sig.ml
Properties	metaprl/refiner/refsig/rewrite_sig.ml
Added	metaprl/refiner/refsig/term_addr_sig.ml
Properties	metaprl/refiner/refsig/term_addr_sig.ml
Added	metaprl/refiner/refsig/term_eval_sig.ml
Properties	metaprl/refiner/refsig/term_eval_sig.ml
Added	metaprl/refiner/refsig/term_man_sig.ml
Properties	metaprl/refiner/refsig/term_man_sig.ml
Added	metaprl/refiner/refsig/term_meta_sig.ml
Properties	metaprl/refiner/refsig/term_meta_sig.ml
Added	metaprl/refiner/refsig/term_op_sig.ml
Properties	metaprl/refiner/refsig/term_op_sig.ml
Added	metaprl/refiner/refsig/term_shape_sig.ml
Properties	metaprl/refiner/refsig/term_shape_sig.ml
Added	metaprl/refiner/refsig/term_sig.ml
Properties	metaprl/refiner/refsig/term_sig.ml
Added	metaprl/refiner/refsig/term_subst_sig.ml
Properties	metaprl/refiner/refsig/term_subst_sig.ml
Deleted	metaprl/refiner/resource.ml
Deleted	metaprl/refiner/rewrite.ml
Deleted	metaprl/refiner/rewrite.mli
Deleted	metaprl/refiner/rewrite_sig.ml
Deleted	metaprl/refiner/rformat.ml
Deleted	metaprl/refiner/rformat.mli
Deleted	metaprl/refiner/simple_print.ml
Deleted	metaprl/refiner/simple_print.mli
Deleted	metaprl/refiner/term_addr_ds.ml
Deleted	metaprl/refiner/term_addr_ds.mli
Deleted	metaprl/refiner/term_addr_sig.ml
Deleted	metaprl/refiner/term_addr_std.ml
Deleted	metaprl/refiner/term_addr_std.mli
Properties	metaprl/refiner/term_ds
Added	metaprl/refiner/term_ds/Makefile
Properties	metaprl/refiner/term_ds/Makefile
Added	metaprl/refiner/term_ds/term_addr_ds.ml
Properties	metaprl/refiner/term_ds/term_addr_ds.ml
Added	metaprl/refiner/term_ds/term_addr_ds.mli
Properties	metaprl/refiner/term_ds/term_addr_ds.mli
Added	metaprl/refiner/term_ds/term_ds.ml
Properties	metaprl/refiner/term_ds/term_ds.ml
Added	metaprl/refiner/term_ds/term_ds.mli
Properties	metaprl/refiner/term_ds/term_ds.mli
Added	metaprl/refiner/term_ds/term_eval_ds.ml
Properties	metaprl/refiner/term_ds/term_eval_ds.ml
Added	metaprl/refiner/term_ds/term_eval_ds.mli
Properties	metaprl/refiner/term_ds/term_eval_ds.mli
Added	metaprl/refiner/term_ds/term_man_ds.ml
Properties	metaprl/refiner/term_ds/term_man_ds.ml
Added	metaprl/refiner/term_ds/term_man_ds.mli
Properties	metaprl/refiner/term_ds/term_man_ds.mli
Added	metaprl/refiner/term_ds/term_op_ds.ml
Properties	metaprl/refiner/term_ds/term_op_ds.ml
Added	metaprl/refiner/term_ds/term_op_ds.mli
Properties	metaprl/refiner/term_ds/term_op_ds.mli
Added	metaprl/refiner/term_ds/term_shape_ds.ml
Properties	metaprl/refiner/term_ds/term_shape_ds.ml
Added	metaprl/refiner/term_ds/term_shape_ds.mli
Properties	metaprl/refiner/term_ds/term_shape_ds.mli
Added	metaprl/refiner/term_ds/term_subst_ds.ml
Properties	metaprl/refiner/term_ds/term_subst_ds.ml
Added	metaprl/refiner/term_ds/term_subst_ds.mli
Properties	metaprl/refiner/term_ds/term_subst_ds.mli
Deleted	metaprl/refiner/term_ds.ml
Deleted	metaprl/refiner/term_ds.mli
Deleted	metaprl/refiner/term_dtable.ml
Deleted	metaprl/refiner/term_dtable.mli
Deleted	metaprl/refiner/term_eval_ds.ml
Deleted	metaprl/refiner/term_eval_ds.mli
Deleted	metaprl/refiner/term_eval_sig.ml
Deleted	metaprl/refiner/term_eval_std.ml
Deleted	metaprl/refiner/term_eval_std.mli
Deleted	metaprl/refiner/term_man_ds.ml
Deleted	metaprl/refiner/term_man_ds.mli
Deleted	metaprl/refiner/term_man_sig.ml
Deleted	metaprl/refiner/term_man_std.ml
Deleted	metaprl/refiner/term_man_std.mli
Deleted	metaprl/refiner/term_meta_sig.ml
Deleted	metaprl/refiner/term_meta_std.ml
Deleted	metaprl/refiner/term_meta_std.mli
Deleted	metaprl/refiner/term_op_ds.ml
Deleted	metaprl/refiner/term_op_ds.mli
Deleted	metaprl/refiner/term_op_sig.ml
Deleted	metaprl/refiner/term_op_std.ml
Deleted	metaprl/refiner/term_op_std.mli
Deleted	metaprl/refiner/term_shape_ds.ml
Deleted	metaprl/refiner/term_shape_ds.mli
Deleted	metaprl/refiner/term_shape_sig.ml
Deleted	metaprl/refiner/term_shape_std.ml
Deleted	metaprl/refiner/term_shape_std.mli
Deleted	metaprl/refiner/term_sig.ml
Deleted	metaprl/refiner/term_stable.ml
Deleted	metaprl/refiner/term_stable.mli
Properties	metaprl/refiner/term_std
Added	metaprl/refiner/term_std/Makefile
Properties	metaprl/refiner/term_std/Makefile
Added	metaprl/refiner/term_std/term_addr_std.ml
Properties	metaprl/refiner/term_std/term_addr_std.ml
Added	metaprl/refiner/term_std/term_addr_std.mli
Properties	metaprl/refiner/term_std/term_addr_std.mli
Added	metaprl/refiner/term_std/term_eval_std.ml
Properties	metaprl/refiner/term_std/term_eval_std.ml
Added	metaprl/refiner/term_std/term_eval_std.mli
Properties	metaprl/refiner/term_std/term_eval_std.mli
Added	metaprl/refiner/term_std/term_man_std.ml
Properties	metaprl/refiner/term_std/term_man_std.ml
Added	metaprl/refiner/term_std/term_man_std.mli
Properties	metaprl/refiner/term_std/term_man_std.mli
Added	metaprl/refiner/term_std/term_meta_std.ml
Properties	metaprl/refiner/term_std/term_meta_std.ml
Added	metaprl/refiner/term_std/term_meta_std.mli
Properties	metaprl/refiner/term_std/term_meta_std.mli
Added	metaprl/refiner/term_std/term_op_std.ml
Properties	metaprl/refiner/term_std/term_op_std.ml
Added	metaprl/refiner/term_std/term_op_std.mli
Properties	metaprl/refiner/term_std/term_op_std.mli
Added	metaprl/refiner/term_std/term_shape_std.ml
Properties	metaprl/refiner/term_std/term_shape_std.ml
Added	metaprl/refiner/term_std/term_shape_std.mli
Properties	metaprl/refiner/term_std/term_shape_std.mli
Added	metaprl/refiner/term_std/term_std.ml
Properties	metaprl/refiner/term_std/term_std.ml
Added	metaprl/refiner/term_std/term_std.mli
Properties	metaprl/refiner/term_std/term_std.mli
Added	metaprl/refiner/term_std/term_subst_std.ml
Properties	metaprl/refiner/term_std/term_subst_std.ml
Added	metaprl/refiner/term_std/term_subst_std.mli
Properties	metaprl/refiner/term_std/term_subst_std.mli
Deleted	metaprl/refiner/term_std.ml
Deleted	metaprl/refiner/term_std.mli
Deleted	metaprl/refiner/term_subst_ds.ml
Deleted	metaprl/refiner/term_subst_ds.mli
Deleted	metaprl/refiner/term_subst_sig.ml
Deleted	metaprl/refiner/term_subst_std.ml
Deleted	metaprl/refiner/term_subst_std.mli
Deleted	metaprl/refiner/term_table.ml
Deleted	metaprl/refiner/term_table.mli
Deleted	metaprl/refiner/term_template.ml
Deleted	metaprl/refiner/term_template.mli
Deleted	metaprl/refiner/theory.ml
Deleted	metaprl/refiner/theory.mli