Changes by: ( at unknown.email)
Date: 2004-06-21 04:04:05 -0700 (Mon, 21 Jun 2004)
Revision: 5978
Log message:

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

Changes	Path
Copied	metaprl-branches/nasslli_branch
Deleted	metaprl-branches/nasslli_branch/Makefile
Deleted	metaprl-branches/nasslli_branch/OMakefile
Deleted	metaprl-branches/nasslli_branch/OMakeroot
Deleted	metaprl-branches/nasslli_branch/README
Deleted	metaprl-branches/nasslli_branch/README.MACOSX
Deleted	metaprl-branches/nasslli_branch/README.WIN32
Deleted	metaprl-branches/nasslli_branch/bin/Makefile
Deleted	metaprl-branches/nasslli_branch/clib/Makefile
Deleted	metaprl-branches/nasslli_branch/debug/Makefile
Deleted	metaprl-branches/nasslli_branch/doc/Makefile
Deleted	metaprl-branches/nasslli_branch/doc/htmlman/chars/htmlprl.c
Deleted	metaprl-branches/nasslli_branch/doc/htmlman/developer-guide/debugging.html
Deleted	metaprl-branches/nasslli_branch/doc/htmlman/developer-guide/profiling.html
Deleted	metaprl-branches/nasslli_branch/doc/htmlman/mp-install.html
Deleted	metaprl-branches/nasslli_branch/doc/htmlman/mp.html
Deleted	metaprl-branches/nasslli_branch/doc/itt_quickref.txt
Deleted	metaprl-branches/nasslli_branch/doc/latex/theories/Makefile
Deleted	metaprl-branches/nasslli_branch/doc/latex/theories/README
Deleted	metaprl-branches/nasslli_branch/editor/java/Makefile
Deleted	metaprl-branches/nasslli_branch/editor/ml/Makefile
Deleted	metaprl-branches/nasslli_branch/editor/ml/nuprl_eval.ml
Deleted	metaprl-branches/nasslli_branch/editor/ml/nuprl_jprover.mli
Deleted	metaprl-branches/nasslli_branch/editor/ml/nuprl_run.mli
Deleted	metaprl-branches/nasslli_branch/editor/ml/shell_p4.ml
Deleted	metaprl-branches/nasslli_branch/editor/ml/tests/prop-pigeon.mli
Deleted	metaprl-branches/nasslli_branch/filter/Makefile
Deleted	metaprl-branches/nasslli_branch/filter/base/Makefile
Deleted	metaprl-branches/nasslli_branch/filter/base/filter_cache.ml
Deleted	metaprl-branches/nasslli_branch/filter/base/filter_cache.mli
Deleted	metaprl-branches/nasslli_branch/filter/base/filter_summary_util.mli
Deleted	metaprl-branches/nasslli_branch/filter/base/filter_type.ml
Deleted	metaprl-branches/nasslli_branch/filter/base/filter_util.mli
Deleted	metaprl-branches/nasslli_branch/filter/filter/Makefile
Deleted	metaprl-branches/nasslli_branch/filter/filter/filter_prog.ml
Deleted	metaprl-branches/nasslli_branch/filter/phobos/Makefile
Deleted	metaprl-branches/nasslli_branch/filter/phobos/phobos_constants.mli
Deleted	metaprl-branches/nasslli_branch/filter/phobos/phobos_rewrite.ml
Deleted	metaprl-branches/nasslli_branch/filter/phobos/phobos_rewrite.mli
Deleted	metaprl-branches/nasslli_branch/filter/phobos/phobos_type.ml
Deleted	metaprl-branches/nasslli_branch/filter/phobos/phobos_type.mli
Deleted	metaprl-branches/nasslli_branch/lib/Makefile
Deleted	metaprl-branches/nasslli_branch/library/Makefile
Deleted	metaprl-branches/nasslli_branch/library/basic.mli
Deleted	metaprl-branches/nasslli_branch/library/db.mli
Deleted	metaprl-branches/nasslli_branch/library/definition.mli
Deleted	metaprl-branches/nasslli_branch/library/library.mli
Deleted	metaprl-branches/nasslli_branch/library/library_type_base.ml
Deleted	metaprl-branches/nasslli_branch/library/library_type_base.mli
Deleted	metaprl-branches/nasslli_branch/library/link.mli
Deleted	metaprl-branches/nasslli_branch/library/mbterm.mli
Deleted	metaprl-branches/nasslli_branch/library/nuprl5.mli
Deleted	metaprl-branches/nasslli_branch/library/oidtable.ml
Deleted	metaprl-branches/nasslli_branch/library/oidtable.mli
Deleted	metaprl-branches/nasslli_branch/library/orb.mli
Deleted	metaprl-branches/nasslli_branch/mk/config.win32
Deleted	metaprl-branches/nasslli_branch/mk/cvs_realclean.sh
Deleted	metaprl-branches/nasslli_branch/mk/defaults
Deleted	metaprl-branches/nasslli_branch/mk/make_config.sh
Deleted	metaprl-branches/nasslli_branch/mk/preface
Deleted	metaprl-branches/nasslli_branch/mk/rules
Deleted	metaprl-branches/nasslli_branch/mllib/Makefile
Deleted	metaprl-branches/nasslli_branch/mllib/http_simple.ml
Deleted	metaprl-branches/nasslli_branch/mllib/setup.ml
Deleted	metaprl-branches/nasslli_branch/refiner/Makefile
Deleted	metaprl-branches/nasslli_branch/refiner/refbase/Makefile
Deleted	metaprl-branches/nasslli_branch/refiner/refiner/Makefile
Deleted	metaprl-branches/nasslli_branch/refiner/refiner/refine.ml
Deleted	metaprl-branches/nasslli_branch/refiner/refiner/refine.mli
Deleted	metaprl-branches/nasslli_branch/refiner/reflib/Makefile
Deleted	metaprl-branches/nasslli_branch/refiner/reflib/arith.ml
Deleted	metaprl-branches/nasslli_branch/refiner/reflib/dform.mli
Deleted	metaprl-branches/nasslli_branch/refiner/reflib/jall.mli
Deleted	metaprl-branches/nasslli_branch/refiner/reflib/jlogic_sig.ml
Deleted	metaprl-branches/nasslli_branch/refiner/reflib/ml_term.mli
Deleted	metaprl-branches/nasslli_branch/refiner/reflib/simple_print.ml
Deleted	metaprl-branches/nasslli_branch/refiner/reflib/simple_print.mli
Deleted	metaprl-branches/nasslli_branch/refiner/reflib/supinf.ml
Deleted	metaprl-branches/nasslli_branch/refiner/reflib/term_dtable.mli
Deleted	metaprl-branches/nasslli_branch/refiner/reflib/term_stable.mli
Deleted	metaprl-branches/nasslli_branch/refiner/refsig/Makefile
Deleted	metaprl-branches/nasslli_branch/refiner/refsig/refiner_sig.ml
Deleted	metaprl-branches/nasslli_branch/refiner/refsig/term_addr_sig.ml
Deleted	metaprl-branches/nasslli_branch/refiner/refsig/term_base_minimal_sig.ml
Deleted	metaprl-branches/nasslli_branch/refiner/refsig/term_base_sig.ml
Deleted	metaprl-branches/nasslli_branch/refiner/refsig/term_man_minimal_sig.ml
Deleted	metaprl-branches/nasslli_branch/refiner/refsig/term_man_sig.ml
Deleted	metaprl-branches/nasslli_branch/refiner/refsig/term_meta_sig.ml
Deleted	metaprl-branches/nasslli_branch/refiner/refsig/term_op_sig.ml
Deleted	metaprl-branches/nasslli_branch/refiner/refsig/term_subst_minimal_sig.ml
Deleted	metaprl-branches/nasslli_branch/refiner/refsig/term_subst_sig.ml
Deleted	metaprl-branches/nasslli_branch/refiner/refsig/termmod_sig.ml
Deleted	metaprl-branches/nasslli_branch/refiner/rewrite/Makefile
Deleted	metaprl-branches/nasslli_branch/refiner/rewrite/rewrite.ml
Deleted	metaprl-branches/nasslli_branch/refiner/rewrite/rewrite.mli
Deleted	metaprl-branches/nasslli_branch/refiner/rewrite/rewrite_build_contractum.ml
Deleted	metaprl-branches/nasslli_branch/refiner/rewrite/rewrite_build_contractum.mli
Deleted	metaprl-branches/nasslli_branch/refiner/rewrite/rewrite_compile_contractum.ml
Deleted	metaprl-branches/nasslli_branch/refiner/rewrite/rewrite_compile_contractum.mli
Deleted	metaprl-branches/nasslli_branch/refiner/rewrite/rewrite_compile_redex.ml
Deleted	metaprl-branches/nasslli_branch/refiner/rewrite/rewrite_compile_redex.mli
Deleted	metaprl-branches/nasslli_branch/refiner/rewrite/rewrite_debug.ml
Deleted	metaprl-branches/nasslli_branch/refiner/rewrite/rewrite_debug.mli
Deleted	metaprl-branches/nasslli_branch/refiner/rewrite/rewrite_match_redex.ml
Deleted	metaprl-branches/nasslli_branch/refiner/rewrite/rewrite_match_redex.mli
Deleted	metaprl-branches/nasslli_branch/refiner/rewrite/rewrite_meta.ml
Deleted	metaprl-branches/nasslli_branch/refiner/rewrite/rewrite_meta.mli
Deleted	metaprl-branches/nasslli_branch/refiner/rewrite/rewrite_types.ml
Deleted	metaprl-branches/nasslli_branch/refiner/rewrite/rewrite_util.ml
Deleted	metaprl-branches/nasslli_branch/refiner/rewrite/rewrite_util.mli
Deleted	metaprl-branches/nasslli_branch/refiner/term_ds/Makefile
Deleted	metaprl-branches/nasslli_branch/refiner/term_ds/rob_ds.mli
Deleted	metaprl-branches/nasslli_branch/refiner/term_ds/term_addr_ds.ml
Deleted	metaprl-branches/nasslli_branch/refiner/term_ds/term_addr_ds.mli
Deleted	metaprl-branches/nasslli_branch/refiner/term_ds/term_base_ds.ml
Deleted	metaprl-branches/nasslli_branch/refiner/term_ds/term_base_ds.mli
Deleted	metaprl-branches/nasslli_branch/refiner/term_ds/term_ds_sig.ml
Deleted	metaprl-branches/nasslli_branch/refiner/term_ds/term_eval_ds.ml
Deleted	metaprl-branches/nasslli_branch/refiner/term_ds/term_eval_ds.mli
Deleted	metaprl-branches/nasslli_branch/refiner/term_ds/term_man_ds.ml
Deleted	metaprl-branches/nasslli_branch/refiner/term_ds/term_man_ds.mli
Deleted	metaprl-branches/nasslli_branch/refiner/term_ds/term_op_ds.ml
Deleted	metaprl-branches/nasslli_branch/refiner/term_ds/term_op_ds.mli
Deleted	metaprl-branches/nasslli_branch/refiner/term_ds/term_subst_ds.ml
Deleted	metaprl-branches/nasslli_branch/refiner/term_ds/term_subst_ds.mli
Deleted	metaprl-branches/nasslli_branch/refiner/term_gen/Makefile
Deleted	metaprl-branches/nasslli_branch/refiner/term_gen/term_addr_gen.ml
Deleted	metaprl-branches/nasslli_branch/refiner/term_gen/term_addr_gen.mli
Deleted	metaprl-branches/nasslli_branch/refiner/term_gen/term_man_gen.ml
Deleted	metaprl-branches/nasslli_branch/refiner/term_gen/term_man_gen.mli
Deleted	metaprl-branches/nasslli_branch/refiner/term_gen/term_man_gen_sig.ml
Deleted	metaprl-branches/nasslli_branch/refiner/term_gen/term_meta_gen.ml
Deleted	metaprl-branches/nasslli_branch/refiner/term_gen/term_meta_gen.mli
Deleted	metaprl-branches/nasslli_branch/refiner/term_gen/term_shape_gen.ml
Deleted	metaprl-branches/nasslli_branch/refiner/term_gen/term_shape_gen.mli
Deleted	metaprl-branches/nasslli_branch/refiner/term_std/Makefile
Deleted	metaprl-branches/nasslli_branch/refiner/term_std/term_base_std.ml
Deleted	metaprl-branches/nasslli_branch/refiner/term_std/term_base_std.mli
Deleted	metaprl-branches/nasslli_branch/refiner/term_std/term_eval_std.ml
Deleted	metaprl-branches/nasslli_branch/refiner/term_std/term_eval_std.mli
Deleted	metaprl-branches/nasslli_branch/refiner/term_std/term_op_std.ml
Deleted	metaprl-branches/nasslli_branch/refiner/term_std/term_op_std.mli
Deleted	metaprl-branches/nasslli_branch/refiner/term_std/term_std_sig.ml
Deleted	metaprl-branches/nasslli_branch/refiner/term_std/term_subst_std.ml
Deleted	metaprl-branches/nasslli_branch/refiner/term_std/term_subst_std.mli
Deleted	metaprl-branches/nasslli_branch/support/display/Makefile
Deleted	metaprl-branches/nasslli_branch/support/display/nuprl_font.ml
Deleted	metaprl-branches/nasslli_branch/support/display/perv.mli
Deleted	metaprl-branches/nasslli_branch/support/shell/Makefile
Deleted	metaprl-branches/nasslli_branch/support/shell/browser_copy.mli
Deleted	metaprl-branches/nasslli_branch/support/shell/browser_copy.mll
Deleted	metaprl-branches/nasslli_branch/support/shell/browser_resource.ml
Deleted	metaprl-branches/nasslli_branch/support/shell/browser_resource.mli
Deleted	metaprl-branches/nasslli_branch/support/shell/inputs/edit.js
Deleted	metaprl-branches/nasslli_branch/support/shell/inputs/menuserver.js
Deleted	metaprl-branches/nasslli_branch/support/shell/inputs/start.html
Deleted	metaprl-branches/nasslli_branch/support/shell/inputs/style.css
Deleted	metaprl-branches/nasslli_branch/support/shell/inputs/system.js
Deleted	metaprl-branches/nasslli_branch/support/shell/proof_edit.ml
Deleted	metaprl-branches/nasslli_branch/support/shell/proof_edit.mli
Deleted	metaprl-branches/nasslli_branch/support/shell/session.ml
Deleted	metaprl-branches/nasslli_branch/support/shell/session.mli
Deleted	metaprl-branches/nasslli_branch/support/shell/session_sig.mlz
Deleted	metaprl-branches/nasslli_branch/support/shell/shell_browser.ml
Deleted	metaprl-branches/nasslli_branch/support/shell/shell_command.ml
Deleted	metaprl-branches/nasslli_branch/support/shell/shell_core.ml
Deleted	metaprl-branches/nasslli_branch/support/shell/shell_core.mli
Deleted	metaprl-branches/nasslli_branch/support/shell/shell_state.ml
Deleted	metaprl-branches/nasslli_branch/support/shell/shell_state.mli
Deleted	metaprl-branches/nasslli_branch/support/tactics/Makefile
Deleted	metaprl-branches/nasslli_branch/support/tactics/OMakefile
Deleted	metaprl-branches/nasslli_branch/support/tactics/auto_tactic.ml
Deleted	metaprl-branches/nasslli_branch/support/tactics/auto_tactic.mli
Deleted	metaprl-branches/nasslli_branch/support/tactics/base_cache.ml
Deleted	metaprl-branches/nasslli_branch/support/tactics/base_cache.mli
Deleted	metaprl-branches/nasslli_branch/support/tactics/dtactic.ml
Deleted	metaprl-branches/nasslli_branch/support/tactics/dtactic.mli
Deleted	metaprl-branches/nasslli_branch/support/tactics/simp_typeinf.mli
Deleted	metaprl-branches/nasslli_branch/support/tactics/top_conversionals.ml
Deleted	metaprl-branches/nasslli_branch/support/tactics/top_conversionals.mli
Deleted	metaprl-branches/nasslli_branch/support/tactics/typeinf.mli
Deleted	metaprl-branches/nasslli_branch/support/tactics/var.mli
Deleted	metaprl-branches/nasslli_branch/tactics/ensemble/Makefile
Deleted	metaprl-branches/nasslli_branch/tactics/null/Makefile
Deleted	metaprl-branches/nasslli_branch/tactics/proof/Makefile
Deleted	metaprl-branches/nasslli_branch/tactics/proof/conversionals_boot.ml
Deleted	metaprl-branches/nasslli_branch/tactics/proof/conversionals_boot.mli
Deleted	metaprl-branches/nasslli_branch/tactics/proof/rewrite_boot.ml
Deleted	metaprl-branches/nasslli_branch/tactics/proof/rewrite_boot.mli
Deleted	metaprl-branches/nasslli_branch/tactics/proof/sequent_boot.ml
Deleted	metaprl-branches/nasslli_branch/tactics/proof/sequent_boot.mli
Deleted	metaprl-branches/nasslli_branch/tactics/proof/tactic_boot.ml
Deleted	metaprl-branches/nasslli_branch/tactics/proof/tactic_boot.mli
Deleted	metaprl-branches/nasslli_branch/tactics/proof/tactic_boot_sig.ml
Deleted	metaprl-branches/nasslli_branch/tactics/proof/tactic_type.ml
Deleted	metaprl-branches/nasslli_branch/tactics/proof/tactic_type.mli
Deleted	metaprl-branches/nasslli_branch/tactics/proof/tacticals_boot.ml
Deleted	metaprl-branches/nasslli_branch/tactics/proof/tacticals_boot.mli
Deleted	metaprl-branches/nasslli_branch/theories/base/Makefile
Deleted	metaprl-branches/nasslli_branch/theories/base/base_rewrite.mli
Deleted	metaprl-branches/nasslli_branch/theories/cic/Makefile
Deleted	metaprl-branches/nasslli_branch/theories/cic/cic_ind_type.ml
Deleted	metaprl-branches/nasslli_branch/theories/czf/Makefile
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_axioms.mli
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_bool.mli
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_cyclic_group.mli
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_cyclic_subgroup.mli
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_eq.ml
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_eq.mli
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_equiv.ml
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_equiv.mli
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_group.mli
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_group_power.mli
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_hom.mli
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_inv_image.mli
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_ker.mli
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_member.mli
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_nat.mli
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_normal_subgroup.mli
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_power.mli
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_sall.mli
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_sep.mli
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_set.ml
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_set.mli
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_set_ind.ml
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_setdiff.mli
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_sexists.mli
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_subgroup.mli
Deleted	metaprl-branches/nasslli_branch/theories/czf/czf_itt_union.mli
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/Makefile
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/m_closure.ml
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/m_closure.mli
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/m_cps.ml
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/m_cps.mli
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/m_dead.ml
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/m_dead.mli
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/m_inline.mli
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/m_ir.mli
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/m_ir_ast.ml
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/m_ir_ast.mli
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/m_prog.ml
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/m_prog.mli
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/m_reserve.mli
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/m_standardize.mli
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/m_theory.mli
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/m_util.mli
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/m_x86_coalesce.mli
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/m_x86_codegen.mli
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/m_x86_opt.ml
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/m_x86_opt.mli
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/m_x86_regalloc.mli
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/m_x86_spill.ml
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/m_x86_spill.mli
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/m_x86_term.mli
Deleted	metaprl-branches/nasslli_branch/theories/experimental/compile/runtime/Makefile
Deleted	metaprl-branches/nasslli_branch/theories/experimental/unity/Makefile
Deleted	metaprl-branches/nasslli_branch/theories/fir/Makefile
Deleted	metaprl-branches/nasslli_branch/theories/fir/README
Deleted	metaprl-branches/nasslli_branch/theories/fir/mfir_bool.mli
Deleted	metaprl-branches/nasslli_branch/theories/fir/mfir_int.mli
Deleted	metaprl-branches/nasslli_branch/theories/fir/mfir_int_set.mli
Deleted	metaprl-branches/nasslli_branch/theories/fir/mfir_list.mli
Deleted	metaprl-branches/nasslli_branch/theories/fir/mfir_record.mli
Deleted	metaprl-branches/nasslli_branch/theories/fir/mfir_termOp.mli
Deleted	metaprl-branches/nasslli_branch/theories/fir/mfir_termOp_base.mli
Deleted	metaprl-branches/nasslli_branch/theories/fir/mfir_token.mli
Deleted	metaprl-branches/nasslli_branch/theories/fir/mfir_tr_atom_base.mli
Deleted	metaprl-branches/nasslli_branch/theories/fir/mfir_util.mli
Deleted	metaprl-branches/nasslli_branch/theories/fol/Makefile
Deleted	metaprl-branches/nasslli_branch/theories/fol/cfol_itt_base.mli
Deleted	metaprl-branches/nasslli_branch/theories/fol/cfol_magic.mli
Deleted	metaprl-branches/nasslli_branch/theories/fol/fol_itt_and.mli
Deleted	metaprl-branches/nasslli_branch/theories/fol/fol_itt_implies.mli
Deleted	metaprl-branches/nasslli_branch/theories/fol/fol_itt_or.mli
Deleted	metaprl-branches/nasslli_branch/theories/fol/fol_itt_type.mli
Deleted	metaprl-branches/nasslli_branch/theories/fol/fol_prop.mli
Deleted	metaprl-branches/nasslli_branch/theories/fol/fol_struct.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/Makefile
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_atom.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_atom_bool.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_bintree.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_bool.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_bunion.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_collection.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_cyclic_group.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_decidable.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_derive.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_dfun.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_disect.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_dprod.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_equal.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_equal.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_esquash.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_eta.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_eta.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_example.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_ext_equal.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_field2.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_field_e.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_fset.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_fset.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_fun.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_fun.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_group.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_grouplikeobj.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_grouplikeobj.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_int_arith.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_int_arith.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_int_base.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_int_base.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_int_ext.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_intdomain.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_intdomain_e.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_isect.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_isect.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_list.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_list2.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_logic.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_logic.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_mpoly.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_mpoly2.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_mpoly2.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_mpoly2_bench.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_mpoly3.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_mpoly3.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_mpoly3_bench.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_nat.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_nequal.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_order.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_poly.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_prec.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_prop_decide.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_quotient.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_quotient.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_quotient_group.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_rat.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_rat.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_record.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_record0.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_record_exm.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_record_label.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_record_label.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_record_label0.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_record_renaming.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_relation_str.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_rfun.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_rfun.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_ring2.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_ring2.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_ring_e.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_ring_uce.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_set.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_sort.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_squash.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_squash.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_squiggle.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_squiggle.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_srec.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_struct.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_struct.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_struct2.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_struct2.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_struct3.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_subset.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_subtype.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_subtype.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_supinf.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_supinf.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_test.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_union.ml
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_union.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_unit.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_unitring.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_void.mli
Deleted	metaprl-branches/nasslli_branch/theories/itt/itt_w.mli
Deleted	metaprl-branches/nasslli_branch/theories/kat/Makefile
Deleted	metaprl-branches/nasslli_branch/theories/lf/Makefile
Deleted	metaprl-branches/nasslli_branch/theories/mesa/Makefile
Deleted	metaprl-branches/nasslli_branch/theories/mesa/ma_decidable__equality.ml
Deleted	metaprl-branches/nasslli_branch/theories/ocaml_doc/Makefile
Deleted	metaprl-branches/nasslli_branch/theories/ocaml_doc/OMakefile
Deleted	metaprl-branches/nasslli_branch/theories/ocaml_sos/Makefile
Deleted	metaprl-branches/nasslli_branch/theories/phobos/Makefile
Deleted	metaprl-branches/nasslli_branch/theories/sil/Makefile
Deleted	metaprl-branches/nasslli_branch/theories/sil/sil_itt_sos.ml
Deleted	metaprl-branches/nasslli_branch/theories/sil/sil_itt_sos.mli
Deleted	metaprl-branches/nasslli_branch/theories/tptp/Makefile
Deleted	metaprl-branches/nasslli_branch/theories/tptp/tptp.ml
Deleted	metaprl-branches/nasslli_branch/theories/tptp/tptp.mli
Deleted	metaprl-branches/nasslli_branch/theories/tptp/tptp_prove.ml
Deleted	metaprl-branches/nasslli_branch/theories/tptp/tptp_prove.mli
Deleted	metaprl-branches/nasslli_branch/theories/tutorial/Makefile
Deleted	metaprl-branches/nasslli_branch/util/Makefile
Deleted	metaprl-branches/nasslli_branch/util/OMakefile
Deleted	metaprl-branches/nasslli_branch/util/check-status.sh
Deleted	metaprl-branches/nasslli_branch/util/do-check-all.sh
Copied	texinputs-branches/nasslli_branch
Deleted	texinputs-branches/nasslli_branch/1cm.sty
Deleted	texinputs-branches/nasslli_branch/1cml.sty
Deleted	texinputs-branches/nasslli_branch/Makefile
Deleted	texinputs-branches/nasslli_branch/Makefile-common
Deleted	texinputs-branches/nasslli_branch/PPR-macros.tex
Deleted	texinputs-branches/nasslli_branch/PPRmyppr.sty
Deleted	texinputs-branches/nasslli_branch/bcp.bib
Deleted	texinputs-branches/nasslli_branch/citlogo.eps
Deleted	texinputs-branches/nasslli_branch/citlogo2.eps
Deleted	texinputs-branches/nasslli_branch/config.ppr
Deleted	texinputs-branches/nasslli_branch/cornell-logo.eps
Deleted	texinputs-branches/nasslli_branch/dag50.eps
Deleted	texinputs-branches/nasslli_branch/der.tex
Deleted	texinputs-branches/nasslli_branch/gate.eps
Deleted	texinputs-branches/nasslli_branch/gate.pdf
Deleted	texinputs-branches/nasslli_branch/include.tex
Deleted	texinputs-branches/nasslli_branch/omscmsy.fd
Deleted	texinputs-branches/nasslli_branch/ot1cmr.fd
Deleted	texinputs-branches/nasslli_branch/ot1cmss.fd
Deleted	texinputs-branches/nasslli_branch/ot1lcmss.fd
Deleted	texinputs-branches/nasslli_branch/ot1lcmtt.fd
Deleted	texinputs-branches/nasslli_branch/pprpdf
Deleted	texinputs-branches/nasslli_branch/proof.sty
Deleted	texinputs-branches/nasslli_branch/slides-nogin.cls
Deleted	texinputs-branches/nasslli_branch/splncs.bst
Deleted	texinputs-branches/nasslli_branch/umsa.fd
Deleted	texinputs-branches/nasslli_branch/umsb.fd