Changes by: ( at unknown.email)
Date: 2004-02-05 08:39:21 -0800 (Thu, 05 Feb 2004)
Revision: 5342
Log message:

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

Changes  Path
Copied metaprl-branches/recursive_sequents/Makefile
Copied metaprl-branches/recursive_sequents/OMakefile
Copied metaprl-branches/recursive_sequents/doc/latex/theories/OMakefile
Copied metaprl-branches/recursive_sequents/editor/ml/tests/prop-pigeon.ml
Copied metaprl-branches/recursive_sequents/editor/ml/tests/test.ml
Copied metaprl-branches/recursive_sequents/filter/OMakefile
Copied metaprl-branches/recursive_sequents/filter/base/filter_summary_util.ml
Copied metaprl-branches/recursive_sequents/filter/base/filter_summary_util.mli
Copied metaprl-branches/recursive_sequents/filter/base/filter_util.ml
Copied metaprl-branches/recursive_sequents/filter/base/filter_util.mli
Copied metaprl-branches/recursive_sequents/filter/filter/filter_parse.ml
Copied metaprl-branches/recursive_sequents/mk/defaults
Copied metaprl-branches/recursive_sequents/mk/make_config.sh
Copied metaprl-branches/recursive_sequents/mk/preface
Copied metaprl-branches/recursive_sequents/mllib/debug_tables.ml
Copied metaprl-branches/recursive_sequents/refiner/refiner/refine.ml
Copied metaprl-branches/recursive_sequents/refiner/reflib/refine_exn.ml
Copied metaprl-branches/recursive_sequents/refiner/reflib/refine_exn.mli
Copied metaprl-branches/recursive_sequents/refiner/reflib/term_eq_table.ml
Copied metaprl-branches/recursive_sequents/refiner/refsig/term_meta_sig.ml
Copied metaprl-branches/recursive_sequents/refiner/refsig/term_subst_sig.ml
Copied metaprl-branches/recursive_sequents/refiner/rewrite/rewrite.ml
Copied metaprl-branches/recursive_sequents/refiner/rewrite/rewrite_compile_redex.ml
Copied metaprl-branches/recursive_sequents/refiner/rewrite/rewrite_debug.mli
Copied metaprl-branches/recursive_sequents/refiner/rewrite/rewrite_match_redex.ml
Copied metaprl-branches/recursive_sequents/refiner/rewrite/rewrite_types.ml
Copied metaprl-branches/recursive_sequents/refiner/term_ds/term_subst_ds.ml
Copied metaprl-branches/recursive_sequents/refiner/term_gen/term_meta_gen.ml
Copied metaprl-branches/recursive_sequents/refiner/term_std/term_subst_std.ml
Copied metaprl-branches/recursive_sequents/support/display/summary.ml
Copied metaprl-branches/recursive_sequents/support/display/summary.mli
Copied metaprl-branches/recursive_sequents/support/shell/package_info.ml
Copied metaprl-branches/recursive_sequents/support/shell/proof_edit.ml
Copied metaprl-branches/recursive_sequents/support/shell/shell.ml
Copied metaprl-branches/recursive_sequents/support/shell/shell_rule.ml
Copied metaprl-branches/recursive_sequents/support/shell/shell_state.ml
Copied metaprl-branches/recursive_sequents/support/tactics/tactic_cache.ml
Copied metaprl-branches/recursive_sequents/tactics/proof/proof_boot.ml
Copied metaprl-branches/recursive_sequents/tactics/proof/tactic_boot_sig.ml
Copied metaprl-branches/recursive_sequents/tactics/proof/tacticals_boot.ml
Copied metaprl-branches/recursive_sequents/theories/czf/czf_itt_bool.ml
Copied metaprl-branches/recursive_sequents/theories/czf/czf_itt_equiv.ml
Copied metaprl-branches/recursive_sequents/theories/experimental/compile/m_util.ml
Copied metaprl-branches/recursive_sequents/theories/itt/Makefile
Copied metaprl-branches/recursive_sequents/theories/itt/OMakefile
Copied metaprl-branches/recursive_sequents/theories/itt/ctt_markov.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_antiquotient.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_antiquotient.prla
Copied metaprl-branches/recursive_sequents/theories/itt/itt_bool.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_bool.prla
Copied metaprl-branches/recursive_sequents/theories/itt/itt_bugs.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_cyclic_group.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_cyclic_group.prla
Copied metaprl-branches/recursive_sequents/theories/itt/itt_disect.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_eq_base.prla
Copied metaprl-branches/recursive_sequents/theories/itt/itt_field.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_field2.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_field2.prla
Copied metaprl-branches/recursive_sequents/theories/itt/itt_field_e.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_field_e.mli
Copied metaprl-branches/recursive_sequents/theories/itt/itt_field_e.prla
Copied metaprl-branches/recursive_sequents/theories/itt/itt_fset.prla
Copied metaprl-branches/recursive_sequents/theories/itt/itt_fun2.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_group.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_group.prla
Copied metaprl-branches/recursive_sequents/theories/itt/itt_grouplikeobj.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_grouplikeobj.prla
Copied metaprl-branches/recursive_sequents/theories/itt/itt_int_arith.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_int_arith.prla
Copied metaprl-branches/recursive_sequents/theories/itt/itt_int_base.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_int_base.prla
Copied metaprl-branches/recursive_sequents/theories/itt/itt_int_ext.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_int_ext.mli
Copied metaprl-branches/recursive_sequents/theories/itt/itt_int_ext.prla
Copied metaprl-branches/recursive_sequents/theories/itt/itt_intdomain.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_intdomain.prla
Copied metaprl-branches/recursive_sequents/theories/itt/itt_intdomain_e.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_intdomain_e.mli
Copied metaprl-branches/recursive_sequents/theories/itt/itt_intdomain_e.prla
Copied metaprl-branches/recursive_sequents/theories/itt/itt_nat.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_nat.mli
Copied metaprl-branches/recursive_sequents/theories/itt/itt_nat.prla
Copied metaprl-branches/recursive_sequents/theories/itt/itt_nequal.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_order.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_poly.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_poly.mli
Copied metaprl-branches/recursive_sequents/theories/itt/itt_poly.prla
Copied metaprl-branches/recursive_sequents/theories/itt/itt_prec.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_quotient.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_quotient_group.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_quotient_group.prla
Copied metaprl-branches/recursive_sequents/theories/itt/itt_rat.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_rat.mli
Copied metaprl-branches/recursive_sequents/theories/itt/itt_record_label.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_record_renaming.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_relation_str.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_rfun.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_rfun.mli
Copied metaprl-branches/recursive_sequents/theories/itt/itt_ring.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_ring2.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_ring2.prla
Copied metaprl-branches/recursive_sequents/theories/itt/itt_ring_e.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_ring_e.mli
Copied metaprl-branches/recursive_sequents/theories/itt/itt_ring_e.prla
Copied metaprl-branches/recursive_sequents/theories/itt/itt_ring_uce.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_ring_uce.mli
Copied metaprl-branches/recursive_sequents/theories/itt/itt_ring_uce.prla
Copied metaprl-branches/recursive_sequents/theories/itt/itt_squiggle.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_squiggle.mli
Copied metaprl-branches/recursive_sequents/theories/itt/itt_subset.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_subtype.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_subtype.prla
Copied metaprl-branches/recursive_sequents/theories/itt/itt_supinf.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_supinf.mli
Copied metaprl-branches/recursive_sequents/theories/itt/itt_supinf.prla
Copied metaprl-branches/recursive_sequents/theories/itt/itt_test.ml
Copied metaprl-branches/recursive_sequents/theories/itt/itt_unitring.ml
Copied metaprl-branches/recursive_sequents/theories/itt/jprover_tests.ml
Copied metaprl-branches/recursive_sequents/util/OMakefile
Copied mpcompiler-branches/recursive_sequents/mmc/core/core_test.ml
Copied mpcompiler-branches/recursive_sequents/mmc/core/core_tuple.ml
Copied mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_closure.ml
Copied mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_cps.ml
Copied mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_list_util.ml
Copied mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_tast.ml
Copied mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_tast.mli
Copied mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_tast_util.ml
Copied mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_theory.ml
Copied mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_type_check.ml
Copied mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_type_erase.ml
Copied mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_type_infer.ml
Copied mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_type_util.ml
Copied mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_type_util.mli
Copied mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_util.ml
Copied mpcompiler-branches/recursive_sequents/mmc/extensions/ext_arithmetic.ml
Copied mpcompiler-branches/recursive_sequents/mmc/extensions/ext_arithmetic_integer.ml
Copied mpcompiler-branches/recursive_sequents/mmc/extensions/ext_array.ml
Copied mpcompiler-branches/recursive_sequents/mmc/extensions/ext_boolean.ml
Copied mpcompiler-branches/recursive_sequents/mmc/extensions/ext_int_test.ml
Copied mpcompiler-branches/recursive_sequents/mmc/extensions/ext_integer.ml
Copied texinputs-branches/recursive_sequents/rc.bib