Changes by: ( at unknown.email)
Date: 2004-01-28 03:15:41 -0800 (Wed, 28 Jan 2004)
Revision: 5303
Log message:

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

Changes  Path
Copied metaprl-branches/recursive_sequents
Deleted metaprl-branches/recursive_sequents/Makefile
Deleted metaprl-branches/recursive_sequents/OMakefile
Deleted metaprl-branches/recursive_sequents/doc/latex/theories/OMakefile
Deleted metaprl-branches/recursive_sequents/editor/ml/tests/prop-pigeon.ml
Deleted metaprl-branches/recursive_sequents/editor/ml/tests/test.ml
Deleted metaprl-branches/recursive_sequents/filter/OMakefile
Deleted metaprl-branches/recursive_sequents/filter/base/filter_summary_util.ml
Deleted metaprl-branches/recursive_sequents/filter/base/filter_summary_util.mli
Deleted metaprl-branches/recursive_sequents/filter/base/filter_util.ml
Deleted metaprl-branches/recursive_sequents/filter/base/filter_util.mli
Deleted metaprl-branches/recursive_sequents/filter/filter/filter_parse.ml
Deleted metaprl-branches/recursive_sequents/mk/defaults
Deleted metaprl-branches/recursive_sequents/mk/make_config.sh
Deleted metaprl-branches/recursive_sequents/mk/preface
Deleted metaprl-branches/recursive_sequents/mllib/debug_tables.ml
Deleted metaprl-branches/recursive_sequents/refiner/refiner/refine.ml
Deleted metaprl-branches/recursive_sequents/refiner/reflib/refine_exn.ml
Deleted metaprl-branches/recursive_sequents/refiner/reflib/refine_exn.mli
Deleted metaprl-branches/recursive_sequents/refiner/reflib/term_eq_table.ml
Deleted metaprl-branches/recursive_sequents/refiner/refsig/term_meta_sig.ml
Deleted metaprl-branches/recursive_sequents/refiner/refsig/term_subst_sig.ml
Deleted metaprl-branches/recursive_sequents/refiner/rewrite/rewrite.ml
Deleted metaprl-branches/recursive_sequents/refiner/rewrite/rewrite_compile_redex.ml
Deleted metaprl-branches/recursive_sequents/refiner/rewrite/rewrite_debug.mli
Deleted metaprl-branches/recursive_sequents/refiner/rewrite/rewrite_match_redex.ml
Deleted metaprl-branches/recursive_sequents/refiner/rewrite/rewrite_types.ml
Deleted metaprl-branches/recursive_sequents/refiner/term_ds/term_subst_ds.ml
Deleted metaprl-branches/recursive_sequents/refiner/term_gen/term_meta_gen.ml
Deleted metaprl-branches/recursive_sequents/refiner/term_std/term_subst_std.ml
Deleted metaprl-branches/recursive_sequents/support/display/summary.ml
Deleted metaprl-branches/recursive_sequents/support/display/summary.mli
Deleted metaprl-branches/recursive_sequents/support/shell/package_info.ml
Deleted metaprl-branches/recursive_sequents/support/shell/proof_edit.ml
Deleted metaprl-branches/recursive_sequents/support/shell/shell.ml
Deleted metaprl-branches/recursive_sequents/support/shell/shell_rule.ml
Deleted metaprl-branches/recursive_sequents/support/shell/shell_state.ml
Deleted metaprl-branches/recursive_sequents/support/tactics/tactic_cache.ml
Deleted metaprl-branches/recursive_sequents/tactics/proof/proof_boot.ml
Deleted metaprl-branches/recursive_sequents/tactics/proof/tactic_boot_sig.ml
Deleted metaprl-branches/recursive_sequents/tactics/proof/tacticals_boot.ml
Deleted metaprl-branches/recursive_sequents/theories/czf/czf_itt_bool.ml
Deleted metaprl-branches/recursive_sequents/theories/czf/czf_itt_equiv.ml
Deleted metaprl-branches/recursive_sequents/theories/experimental/compile/m_util.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/Makefile
Deleted metaprl-branches/recursive_sequents/theories/itt/OMakefile
Deleted metaprl-branches/recursive_sequents/theories/itt/ctt_markov.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_antiquotient.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_antiquotient.prla
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_bool.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_bool.prla
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_bugs.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_cyclic_group.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_cyclic_group.prla
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_disect.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_eq_base.prla
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_field.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_field2.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_field2.prla
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_fset.prla
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_fun2.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_group.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_group.prla
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_grouplikeobj.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_grouplikeobj.prla
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_int_arith.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_int_arith.prla
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_int_base.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_int_base.prla
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_int_ext.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_int_ext.mli
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_int_ext.prla
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_intdomain.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_intdomain.prla
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_nat.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_nat.mli
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_nat.prla
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_nequal.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_order.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_poly.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_poly.mli
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_poly.prla
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_prec.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_quotient.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_quotient_group.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_quotient_group.prla
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_rat.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_rat.mli
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_record_label.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_record_renaming.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_relation_str.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_rfun.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_rfun.mli
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_ring.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_ring2.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_ring2.prla
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_squiggle.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_squiggle.mli
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_subset.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_subtype.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_subtype.prla
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_supinf.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_supinf.mli
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_supinf.prla
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_test.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/itt_unitring.ml
Deleted metaprl-branches/recursive_sequents/theories/itt/jprover_tests.ml
Deleted metaprl-branches/recursive_sequents/util/OMakefile
Copied mpcompiler-branches/recursive_sequents
Deleted mpcompiler-branches/recursive_sequents/mmc/core/core_test.ml
Deleted mpcompiler-branches/recursive_sequents/mmc/core/core_tuple.ml
Deleted mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_closure.ml
Deleted mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_cps.ml
Deleted mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_list_util.ml
Deleted mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_tast.ml
Deleted mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_tast.mli
Deleted mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_tast_util.ml
Deleted mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_theory.ml
Deleted mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_type_check.ml
Deleted mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_type_erase.ml
Deleted mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_type_infer.ml
Deleted mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_type_util.ml
Deleted mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_type_util.mli
Deleted mpcompiler-branches/recursive_sequents/mmc/core/mmc_core_util.ml
Deleted mpcompiler-branches/recursive_sequents/mmc/extensions/ext_arithmetic.ml
Deleted mpcompiler-branches/recursive_sequents/mmc/extensions/ext_arithmetic_integer.ml
Deleted mpcompiler-branches/recursive_sequents/mmc/extensions/ext_array.ml
Deleted mpcompiler-branches/recursive_sequents/mmc/extensions/ext_boolean.ml
Deleted mpcompiler-branches/recursive_sequents/mmc/extensions/ext_int_test.ml
Deleted mpcompiler-branches/recursive_sequents/mmc/extensions/ext_integer.ml
Copied texinputs-branches/recursive_sequents
Deleted texinputs-branches/recursive_sequents/1cm.sty
Deleted texinputs-branches/recursive_sequents/1cml.sty
Deleted texinputs-branches/recursive_sequents/Makefile
Deleted texinputs-branches/recursive_sequents/Makefile-common
Deleted texinputs-branches/recursive_sequents/PPR-macros.tex
Deleted texinputs-branches/recursive_sequents/PPRmyppr.sty
Deleted texinputs-branches/recursive_sequents/bcp.bib
Deleted texinputs-branches/recursive_sequents/citlogo.eps
Deleted texinputs-branches/recursive_sequents/citlogo2.eps
Deleted texinputs-branches/recursive_sequents/config.ppr
Deleted texinputs-branches/recursive_sequents/cornell-logo.eps
Deleted texinputs-branches/recursive_sequents/dag50.eps
Deleted texinputs-branches/recursive_sequents/der.tex
Deleted texinputs-branches/recursive_sequents/gate.eps
Deleted texinputs-branches/recursive_sequents/gate.pdf
Deleted texinputs-branches/recursive_sequents/include.tex
Deleted texinputs-branches/recursive_sequents/omscmsy.fd
Deleted texinputs-branches/recursive_sequents/ot1cmr.fd
Deleted texinputs-branches/recursive_sequents/ot1cmss.fd
Deleted texinputs-branches/recursive_sequents/ot1lcmss.fd
Deleted texinputs-branches/recursive_sequents/ot1lcmtt.fd
Deleted texinputs-branches/recursive_sequents/pprpdf
Deleted texinputs-branches/recursive_sequents/proof.sty
Deleted texinputs-branches/recursive_sequents/rc.bib
Deleted texinputs-branches/recursive_sequents/slides-nogin.cls
Deleted texinputs-branches/recursive_sequents/splncs.bst
Deleted texinputs-branches/recursive_sequents/umsa.fd
Deleted texinputs-branches/recursive_sequents/umsb.fd