Changes by: ( at unknown.email)
Date: 2004-02-20 22:34:25 -0800 (Fri, 20 Feb 2004)
Revision: 5399
Log message:

      This commit was manufactured by cvs2svn to create branch
      'sequent_args_in_rewrites'.

Changes  Path
Copied metaprl-branches/sequent_args_in_rewrites
Deleted metaprl-branches/sequent_args_in_rewrites/BUGS
Deleted metaprl-branches/sequent_args_in_rewrites/Makefile
Deleted metaprl-branches/sequent_args_in_rewrites/OMakefile
Deleted metaprl-branches/sequent_args_in_rewrites/OMakeroot
Deleted metaprl-branches/sequent_args_in_rewrites/README
Deleted metaprl-branches/sequent_args_in_rewrites/README.MACOSX
Deleted metaprl-branches/sequent_args_in_rewrites/README.WIN32
Deleted metaprl-branches/sequent_args_in_rewrites/filter/Makefile
Deleted metaprl-branches/sequent_args_in_rewrites/filter/OMakefile
Deleted metaprl-branches/sequent_args_in_rewrites/filter/filter/Files
Deleted metaprl-branches/sequent_args_in_rewrites/filter/filter/Makefile
Deleted metaprl-branches/sequent_args_in_rewrites/filter/filter/OMakefile
Deleted metaprl-branches/sequent_args_in_rewrites/filter/filter/filter_bin.ml
Deleted metaprl-branches/sequent_args_in_rewrites/filter/filter/filter_bin.mli
Deleted metaprl-branches/sequent_args_in_rewrites/filter/filter/filter_convert.ml
Deleted metaprl-branches/sequent_args_in_rewrites/filter/filter/filter_convert.mli
Deleted metaprl-branches/sequent_args_in_rewrites/filter/filter/filter_main.ml
Deleted metaprl-branches/sequent_args_in_rewrites/filter/filter/filter_main.mli
Deleted metaprl-branches/sequent_args_in_rewrites/filter/filter/filter_parse.mli
Deleted metaprl-branches/sequent_args_in_rewrites/filter/filter/filter_patt.ml
Deleted metaprl-branches/sequent_args_in_rewrites/filter/filter/filter_patt.mli
Deleted metaprl-branches/sequent_args_in_rewrites/filter/filter/filter_prog.mli
Deleted metaprl-branches/sequent_args_in_rewrites/filter/filter/prlcomp.ml
Deleted metaprl-branches/sequent_args_in_rewrites/filter/filter/prlcomp.mli
Deleted metaprl-branches/sequent_args_in_rewrites/filter/filter/term_grammar.ml
Deleted metaprl-branches/sequent_args_in_rewrites/filter/filter/term_grammar.mli
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/Makefile
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/OMakefile
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refiner/Files
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refiner/Makefile
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refiner/OMakefile
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refiner/refine.mli
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refiner/refine_error.ml
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refiner/refine_error.mli
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refiner/refiner.ml
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refiner/refiner.mli
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refiner/refiner_ds.ml
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refiner/refiner_ds.mli
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refiner/refiner_io.ml
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refiner/refiner_io.mli
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refiner/refiner_std.ml
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refiner/refiner_std.mli
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refsig/Files
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refsig/Makefile
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refsig/OMakefile
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refsig/refine_error.mlh
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refsig/refine_error_sig.ml
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refsig/refine_minimal_sig.ml
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refsig/refiner_sig.ml
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refsig/rewrite_sig.ml
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refsig/term_addr_sig.ml
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refsig/term_base_minimal_sig.ml
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refsig/term_base_sig.ml
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refsig/term_eval_sig.ml
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refsig/term_hash_sig.ml
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refsig/term_man_minimal_sig.ml
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refsig/term_man_sig.ml
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refsig/term_meta_sig.ml
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refsig/term_norm_sig.ml
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refsig/term_op_sig.ml
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refsig/term_shape_sig.ml
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refsig/term_sig.ml
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refsig/term_subst_minimal_sig.ml
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refsig/term_subst_sig.ml
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refsig/termmod_hash_sig.ml
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refsig/termmod_sig.ml
Deleted metaprl-branches/sequent_args_in_rewrites/refiner/refsig/thread_refiner_sig.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/.ispell_english
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/Makefile
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/OMakefile
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/ctt_markov.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/ctt_markov.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/ctt_markov.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_algebra_df.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_algebra_df.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_antiquotient.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_antiquotient.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_antiquotient.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_atom.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_atom.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_atom_bool.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_atom_bool.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_bintree.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_bintree.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_bintree.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_bisect.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_bisect.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_bisect.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_bool.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_bool.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_bool.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_bugs.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_bugs.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_bunion.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_bunion.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_bunion.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_collection.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_collection.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_collection.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_comment.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_comment.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_cyclic_group.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_cyclic_group.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_cyclic_group.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_datatree.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_datatree.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_decidable.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_decidable.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_decidable.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_derive.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_derive.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_derive.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_dfun.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_dfun.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_dfun.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_disect.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_disect.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_disect.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_dprod.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_dprod.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_dprod.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_dprod_imp.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_dprod_imp.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_dprod_imp.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_eq_base.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_eq_base.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_eq_base.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_equal.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_esquash.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_esquash.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_esquash.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_eta.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_eta.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_example.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_example.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_ext_equal.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_ext_equal.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_ext_equal.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_field2.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_field2.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_field2.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_field_e.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_field_e.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_field_e.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_fset.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_fset.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_fset.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_fun.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_fun.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_fun.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_fun2.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_fun2.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_group.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_group.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_group.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_grouplikeobj.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_grouplikeobj.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_grouplikeobj.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_int_arith.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_int_arith.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_int_base.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_int_base.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_int_base.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_int_ext.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_int_ext.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_int_ext.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_intdomain.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_intdomain.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_intdomain.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_intdomain_e.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_intdomain_e.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_intdomain_e.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_inv_typing.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_inv_typing.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_isect.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_isect.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_isect.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_list.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_list.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_list.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_list2.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_list2.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_list2.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_logic.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_logic.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_logic.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_nat.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_nat.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_nat.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_nequal.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_nequal.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_nequal.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_order.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_order.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_order.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_pointwise.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_pointwise.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_pointwise.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_pointwise2.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_pointwise2.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_pointwise2.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_poly.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_poly.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_poly.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_prec.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_prec.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_prod.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_prod.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_prod.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_prop_decide.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_prop_decide.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_prop_decide.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_quotient.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_quotient.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_quotient.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_quotient_group.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_quotient_group.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_quotient_group.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_rat.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_rat.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_rat.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_rbtree.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_rbtree.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_record.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_record.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_record.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_record0.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_record0.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_record0.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_record_exm.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_record_exm.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_record_exm.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_record_label.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_record_label.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_record_label.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_record_label0.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_record_label0.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_record_label0.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_record_renaming.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_record_renaming.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_record_renaming.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_relation_str.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_relation_str.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_rfun.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_rfun.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_rfun.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_ring2.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_ring2.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_ring2.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_ring_e.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_ring_e.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_ring_e.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_ring_uce.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_ring_uce.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_ring_uce.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_set.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_set.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_set.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_set_str.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_set_str.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_singleton.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_singleton.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_singleton.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_sort.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_sort.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_sort.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_sortedtree.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_sortedtree.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_sortedtree.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_squash.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_squash.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_squash.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_squiggle.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_squiggle.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_squiggle.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_srec.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_srec.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_struct.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_struct.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_struct.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_struct2.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_struct2.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_struct2.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_struct3.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_struct3.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_struct3.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_subset.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_subset.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_subset.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_subset2.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_subset2.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_subset2.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_subtype.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_subtype.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_subtype.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_supinf.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_supinf.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_supinf.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_test.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_test.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_theory.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_theory.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_tsquash.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_tsquash.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_tsquash.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_tunion.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_tunion.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_tunion.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_union.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_union.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_union.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_union2.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_union2.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_unit.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_unit.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_unit.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_unitring.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_unitring.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_unitring.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_void.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_void.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_void.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_w.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_w.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_w.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_well_founded.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_well_founded.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/itt_well_founded.prla
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/jprover_tests.ml
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/jprover_tests.mli
Deleted metaprl-branches/sequent_args_in_rewrites/theories/itt/jprover_tests.prla