Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-06-09 22:38:14 -0700 (Sun, 09 Jun 2002)
Revision: 3707
Log message:

      Since OCaml now has its own "include" keyword (which is similar to MetaPRL's one,
      but still different), I am replacing MetaPRL "include" keyword with an "extends".
      
      Hopefully, I've catched all the places in documentation and comments where it
      needed to be changed (except for tuturial screenshots :-( )...
      

Changes  Path
+6 -6 metaprl/doc/htmlman/tutorial/mp-all.html
+1 -1 metaprl/doc/htmlman/tutorial/mp-base-auto.html
+2 -2 metaprl/doc/htmlman/tutorial/mp-base.html
+2 -2 metaprl/doc/htmlman/tutorial/mp-class.html
+12 -12 metaprl/doc/htmlman/tutorial/mp-ctheory.html
+5 -5 metaprl/doc/htmlman/tutorial/mp-not.html
+5 -5 metaprl/doc/htmlman/tutorial/mp-simple.html
+4 -4 metaprl/doc/htmlman/tutorial/mp-theory.html
+1 -1 metaprl/doc/htmlman/tutorial/mp-type.html
+1 -1 metaprl/doc/htmlman/user-guide/mp-dform.html
+8 -8 metaprl/doc/htmlman/user-guide/mp-editor.html
+22 -22 metaprl/doc/htmlman/user-guide/mp-modules.html
+2 -2 metaprl/doc/htmlman/user-guide/mp-user-guide.html
+9 -8 metaprl/doc/resources_spec.txt
+2 -2 metaprl/editor/emacs/caml.el
Binary metaprl/editor/emacs/caml.elc
+2 -2 metaprl/editor/ml/package_info.ml
+1 -1 metaprl/editor/ml/package_info.mli
+2 -2 metaprl/editor/ml/package_sig.mlz
+1 -1 metaprl/editor/ml/proof_edit.ml
+7 -7 metaprl/editor/ml/shell.ml
+7 -7 metaprl/editor/ml/shell.mli
+1 -1 metaprl/editor/ml/shell_mp.ml
+1 -1 metaprl/editor/ml/shell_mp.mli
+3 -3 metaprl/editor/ml/shell_package.ml
+3 -3 metaprl/editor/ml/shell_rewrite.ml
+2 -2 metaprl/editor/ml/shell_rewrite.mli
+3 -3 metaprl/editor/ml/shell_root.ml
+2 -2 metaprl/editor/ml/shell_rule.ml
+2 -2 metaprl/editor/ml/shell_rule.mli
+1 -1 metaprl/editor/ml/tests/prop-pigeon.ml
+1 -1 metaprl/editor/ml/tests/prop-pigeon.mli
+1 -1 metaprl/editor/ml/tests/test.ml
+1 -1 metaprl/filter/base/filter_prog.ml
+5 -5 metaprl/filter/filter/filter_parse.ml
+1 -1 metaprl/refiner/reflib/mp_resource.ml
+1 -1 metaprl/refiner/reflib/mp_resource.mli
+1 -1 metaprl/theories/base/base_auto_tactic.ml
+1 -1 metaprl/theories/base/base_auto_tactic.mli
+2 -2 metaprl/theories/base/base_cache.ml
+2 -2 metaprl/theories/base/base_cache.mli
+1 -1 metaprl/theories/base/base_dtactic.ml
+1 -1 metaprl/theories/base/base_dtactic.mli
+2 -2 metaprl/theories/base/base_meta.ml
+2 -2 metaprl/theories/base/base_meta.mli
+3 -3 metaprl/theories/base/base_rewrite.ml
+2 -2 metaprl/theories/base/base_rewrite.mli
+18 -18 metaprl/theories/base/base_theory.mlz
+1 -1 metaprl/theories/base/base_trivial.ml
+4 -4 metaprl/theories/czf/czf_all.mli
+1 -1 metaprl/theories/czf/czf_and.mli
+4 -4 metaprl/theories/czf/czf_equal.mli
+4 -4 metaprl/theories/czf/czf_exists.mli
+1 -1 metaprl/theories/czf/czf_false.mli
+2 -2 metaprl/theories/czf/czf_implies.mli
+1 -1 metaprl/theories/czf/czf_itt_abel_group.ml
+1 -1 metaprl/theories/czf/czf_itt_abel_group.mli
+1 -1 metaprl/theories/czf/czf_itt_all.ml
+1 -1 metaprl/theories/czf/czf_itt_all.mli
+1 -1 metaprl/theories/czf/czf_itt_and.ml
+1 -1 metaprl/theories/czf/czf_itt_and.mli
+12 -12 metaprl/theories/czf/czf_itt_axioms.ml
+12 -12 metaprl/theories/czf/czf_itt_axioms.mli
+10 -10 metaprl/theories/czf/czf_itt_bool.ml
+10 -10 metaprl/theories/czf/czf_itt_bool.mli
+1 -1 metaprl/theories/czf/czf_itt_comment.ml
+1 -1 metaprl/theories/czf/czf_itt_comment.mli
+3 -3 metaprl/theories/czf/czf_itt_coset.ml
+2 -2 metaprl/theories/czf/czf_itt_coset.mli
+3 -3 metaprl/theories/czf/czf_itt_cyclic_group.ml
+2 -2 metaprl/theories/czf/czf_itt_cyclic_group.mli
+2 -2 metaprl/theories/czf/czf_itt_cyclic_subgroup.ml
+2 -2 metaprl/theories/czf/czf_itt_cyclic_subgroup.mli
+2 -2 metaprl/theories/czf/czf_itt_dall.ml
+2 -2 metaprl/theories/czf/czf_itt_dall.mli
+2 -2 metaprl/theories/czf/czf_itt_dexists.ml
+2 -2 metaprl/theories/czf/czf_itt_dexists.mli
+1 -1 metaprl/theories/czf/czf_itt_empty.ml
+1 -1 metaprl/theories/czf/czf_itt_empty.mli
+1 -1 metaprl/theories/czf/czf_itt_eq.ml
+1 -1 metaprl/theories/czf/czf_itt_eq.mli
+4 -4 metaprl/theories/czf/czf_itt_equiv.ml
+3 -3 metaprl/theories/czf/czf_itt_equiv.mli
+1 -1 metaprl/theories/czf/czf_itt_exists.ml
+1 -1 metaprl/theories/czf/czf_itt_exists.mli
+1 -1 metaprl/theories/czf/czf_itt_false.ml
+1 -1 metaprl/theories/czf/czf_itt_false.mli
+5 -5 metaprl/theories/czf/czf_itt_fol.mlz
+2 -2 metaprl/theories/czf/czf_itt_group.ml
+2 -2 metaprl/theories/czf/czf_itt_group.mli
+2 -2 metaprl/theories/czf/czf_itt_group_bvd.ml
+2 -2 metaprl/theories/czf/czf_itt_group_bvd.mli
+2 -2 metaprl/theories/czf/czf_itt_group_power.ml
+2 -2 metaprl/theories/czf/czf_itt_group_power.mli
+4 -4 metaprl/theories/czf/czf_itt_hom.ml
+1 -1 metaprl/theories/czf/czf_itt_hom.mli
+1 -1 metaprl/theories/czf/czf_itt_implies.ml
+1 -1 metaprl/theories/czf/czf_itt_implies.mli
+1 -1 metaprl/theories/czf/czf_itt_inv_image.ml
+1 -1 metaprl/theories/czf/czf_itt_inv_image.mli
+1 -1 metaprl/theories/czf/czf_itt_isect.ml
+1 -1 metaprl/theories/czf/czf_itt_isect.mli
+2 -2 metaprl/theories/czf/czf_itt_iso.ml
+1 -1 metaprl/theories/czf/czf_itt_iso.mli
+3 -3 metaprl/theories/czf/czf_itt_ker.ml
+1 -1 metaprl/theories/czf/czf_itt_ker.mli
+3 -3 metaprl/theories/czf/czf_itt_kleingroup.ml
+3 -3 metaprl/theories/czf/czf_itt_kleingroup.mli
+1 -1 metaprl/theories/czf/czf_itt_member.ml
+1 -1 metaprl/theories/czf/czf_itt_member.mli
+5 -5 metaprl/theories/czf/czf_itt_nat.ml
+4 -4 metaprl/theories/czf/czf_itt_nat.mli
+3 -3 metaprl/theories/czf/czf_itt_normal_subgroup.ml
+2 -2 metaprl/theories/czf/czf_itt_normal_subgroup.mli
+1 -1 metaprl/theories/czf/czf_itt_or.ml
+1 -1 metaprl/theories/czf/czf_itt_or.mli
+2 -2 metaprl/theories/czf/czf_itt_pair.ml
+2 -2 metaprl/theories/czf/czf_itt_pair.mli
+2 -2 metaprl/theories/czf/czf_itt_power.ml
+2 -2 metaprl/theories/czf/czf_itt_power.mli
+2 -2 metaprl/theories/czf/czf_itt_rel.ml
+2 -2 metaprl/theories/czf/czf_itt_rel.mli
+1 -1 metaprl/theories/czf/czf_itt_sall.ml
+1 -1 metaprl/theories/czf/czf_itt_sall.mli
+1 -1 metaprl/theories/czf/czf_itt_sep.ml
+1 -1 metaprl/theories/czf/czf_itt_sep.mli
+3 -3 metaprl/theories/czf/czf_itt_set.ml
+2 -2 metaprl/theories/czf/czf_itt_set.mli
+2 -2 metaprl/theories/czf/czf_itt_set_bvd.ml
+2 -2 metaprl/theories/czf/czf_itt_set_bvd.mli
+1 -1 metaprl/theories/czf/czf_itt_set_ind.ml
+1 -1 metaprl/theories/czf/czf_itt_set_ind.mli
+6 -6 metaprl/theories/czf/czf_itt_setdiff.ml
+6 -6 metaprl/theories/czf/czf_itt_setdiff.mli
+1 -1 metaprl/theories/czf/czf_itt_sexists.ml
+1 -1 metaprl/theories/czf/czf_itt_sexists.mli
+1 -1 metaprl/theories/czf/czf_itt_singleton.ml
+1 -1 metaprl/theories/czf/czf_itt_singleton.mli
+3 -3 metaprl/theories/czf/czf_itt_subgroup.ml
+3 -3 metaprl/theories/czf/czf_itt_subgroup.mli
+1 -1 metaprl/theories/czf/czf_itt_subset.ml
+1 -1 metaprl/theories/czf/czf_itt_subset.mli
+2 -2 metaprl/theories/czf/czf_itt_theory.mlz
+1 -1 metaprl/theories/czf/czf_itt_true.ml
+1 -1 metaprl/theories/czf/czf_itt_true.mli
+2 -2 metaprl/theories/czf/czf_itt_union.ml
+2 -2 metaprl/theories/czf/czf_itt_union.mli
+1 -1 metaprl/theories/czf/czf_or.mli
+9 -9 metaprl/theories/czf/czf_theory.mli
+3 -3 metaprl/theories/fol/cfol_itt_all.ml
+3 -3 metaprl/theories/fol/cfol_itt_all.mli
+2 -2 metaprl/theories/fol/cfol_itt_and.ml
+2 -2 metaprl/theories/fol/cfol_itt_and.mli
+1 -1 metaprl/theories/fol/cfol_itt_base.ml
+1 -1 metaprl/theories/fol/cfol_itt_base.mli
+1 -1 metaprl/theories/fol/cfol_magic.ml
+1 -1 metaprl/theories/fol/cfol_magic.mli
+2 -2 metaprl/theories/fol/cfol_theory.ml
+2 -2 metaprl/theories/fol/cfol_theory.mli
+3 -3 metaprl/theories/fol/fol_all.ml
+3 -3 metaprl/theories/fol/fol_all.mli
+3 -3 metaprl/theories/fol/fol_all_itt.ml
+3 -3 metaprl/theories/fol/fol_all_itt.mli
+1 -1 metaprl/theories/fol/fol_and.ml
+1 -1 metaprl/theories/fol/fol_and.mli
+1 -1 metaprl/theories/fol/fol_bisect_itt.ml
+1 -1 metaprl/theories/fol/fol_bisect_itt.mli
+11 -11 metaprl/theories/fol/fol_ctheory.ml
+11 -11 metaprl/theories/fol/fol_ctheory.mli
+2 -2 metaprl/theories/fol/fol_exists.ml
+2 -2 metaprl/theories/fol/fol_exists.mli
+1 -1 metaprl/theories/fol/fol_false.ml
+1 -1 metaprl/theories/fol/fol_false.mli
+1 -1 metaprl/theories/fol/fol_implies.ml
+1 -1 metaprl/theories/fol/fol_implies.mli
+2 -2 metaprl/theories/fol/fol_itt_and.ml
+2 -2 metaprl/theories/fol/fol_itt_and.mli
+2 -2 metaprl/theories/fol/fol_itt_false.ml
+2 -2 metaprl/theories/fol/fol_itt_false.mli
+2 -2 metaprl/theories/fol/fol_itt_implies.ml
+2 -2 metaprl/theories/fol/fol_itt_implies.mli
+2 -2 metaprl/theories/fol/fol_itt_or.ml
+2 -2 metaprl/theories/fol/fol_itt_or.mli
+7 -7 metaprl/theories/fol/fol_itt_prop.ml
+7 -7 metaprl/theories/fol/fol_itt_prop.mli
+2 -2 metaprl/theories/fol/fol_itt_true.ml
+2 -2 metaprl/theories/fol/fol_itt_true.mli
+1 -1 metaprl/theories/fol/fol_itt_type.ml
+1 -1 metaprl/theories/fol/fol_itt_type.mli
+2 -2 metaprl/theories/fol/fol_not.ml
+2 -2 metaprl/theories/fol/fol_not.mli
+1 -1 metaprl/theories/fol/fol_or.ml
+1 -1 metaprl/theories/fol/fol_or.mli
+1 -1 metaprl/theories/fol/fol_pred.ml
+1 -1 metaprl/theories/fol/fol_pred.mli
+8 -8 metaprl/theories/fol/fol_prop.ml
+7 -7 metaprl/theories/fol/fol_prop.mli
+1 -1 metaprl/theories/fol/fol_struct.ml
+1 -1 metaprl/theories/fol/fol_struct.mli
+11 -11 metaprl/theories/fol/fol_theory.ml
+11 -11 metaprl/theories/fol/fol_theory.mli
+1 -1 metaprl/theories/fol/fol_true.ml
+1 -1 metaprl/theories/fol/fol_true.mli
+1 -1 metaprl/theories/fol/fol_type.ml
+1 -1 metaprl/theories/fol/fol_type.mli
+1 -1 metaprl/theories/fol/fol_univ.ml
+1 -1 metaprl/theories/fol/fol_univ.mli
+3 -3 metaprl/theories/fol/fol_univ_itt.ml
+3 -3 metaprl/theories/fol/fol_univ_itt.mli
+2 -2 metaprl/theories/itt/ctt_markov.ml
+2 -2 metaprl/theories/itt/itt_atom.ml
+2 -2 metaprl/theories/itt/itt_atom.mli
+3 -3 metaprl/theories/itt/itt_atom_bool.ml
+2 -2 metaprl/theories/itt/itt_atom_bool.mli
+2 -2 metaprl/theories/itt/itt_bisect.ml
+2 -2 metaprl/theories/itt/itt_bisect.mli
+6 -6 metaprl/theories/itt/itt_bool.ml
+5 -5 metaprl/theories/itt/itt_bool.mli
+1 -1 metaprl/theories/itt/itt_bugs.ml
+3 -3 metaprl/theories/itt/itt_bunion.ml
+2 -2 metaprl/theories/itt/itt_bunion.mli
+6 -6 metaprl/theories/itt/itt_collection.ml
+5 -5 metaprl/theories/itt/itt_collection.mli
+1 -1 metaprl/theories/itt/itt_comment.ml
+1 -1 metaprl/theories/itt/itt_comment.mli
+1 -1 metaprl/theories/itt/itt_decidable.ml
+1 -1 metaprl/theories/itt/itt_decidable.mli
+4 -4 metaprl/theories/itt/itt_derive.ml
+4 -4 metaprl/theories/itt/itt_derive.mli
+5 -5 metaprl/theories/itt/itt_dfun.ml
+2 -2 metaprl/theories/itt/itt_dfun.mli
+7 -7 metaprl/theories/itt/itt_disect.ml
+4 -4 metaprl/theories/itt/itt_disect.mli
+4 -4 metaprl/theories/itt/itt_dprod.ml
+3 -3 metaprl/theories/itt/itt_dprod.mli
+5 -5 metaprl/theories/itt/itt_dprod_imp.ml
+3 -3 metaprl/theories/itt/itt_dprod_imp.mli
+2 -2 metaprl/theories/itt/itt_equal.ml
+2 -2 metaprl/theories/itt/itt_equal.mli
+4 -4 metaprl/theories/itt/itt_esquash.ml
+2 -2 metaprl/theories/itt/itt_esquash.mli
+1 -1 metaprl/theories/itt/itt_eta.ml
+1 -1 metaprl/theories/itt/itt_eta.mli
+2 -2 metaprl/theories/itt/itt_example.ml
+4 -4 metaprl/theories/itt/itt_ext_equal.ml
+3 -3 metaprl/theories/itt/itt_ext_equal.mli
+5 -5 metaprl/theories/itt/itt_fset.ml
+5 -5 metaprl/theories/itt/itt_fset.mli
+2 -2 metaprl/theories/itt/itt_fun.ml
+2 -2 metaprl/theories/itt/itt_fun.mli
+5 -5 metaprl/theories/itt/itt_int_arith.ml
+5 -5 metaprl/theories/itt/itt_int_arith.mli
+7 -7 metaprl/theories/itt/itt_int_base.ml
+5 -5 metaprl/theories/itt/itt_int_base.mli
+5 -5 metaprl/theories/itt/itt_int_ext.ml
+5 -5 metaprl/theories/itt/itt_int_ext.mli
+3 -3 metaprl/theories/itt/itt_inv_typing.ml
+2 -2 metaprl/theories/itt/itt_inv_typing.mli
+5 -5 metaprl/theories/itt/itt_isect.ml
+5 -5 metaprl/theories/itt/itt_isect.mli
+4 -4 metaprl/theories/itt/itt_list.ml
+2 -2 metaprl/theories/itt/itt_list.mli
+6 -6 metaprl/theories/itt/itt_list2.ml
+3 -3 metaprl/theories/itt/itt_list2.mli
+11 -11 metaprl/theories/itt/itt_logic.ml
+10 -10 metaprl/theories/itt/itt_logic.mli
+8 -8 metaprl/theories/itt/itt_nat.ml
+1 -1 metaprl/theories/itt/itt_nat.mli
+1 -1 metaprl/theories/itt/itt_pointwise.ml
+1 -1 metaprl/theories/itt/itt_pointwise.mli
+6 -6 metaprl/theories/itt/itt_pointwise2.ml
+6 -6 metaprl/theories/itt/itt_prec.ml
+4 -4 metaprl/theories/itt/itt_prec.mli
+3 -3 metaprl/theories/itt/itt_prod.ml
+3 -3 metaprl/theories/itt/itt_prod.mli
+1 -1 metaprl/theories/itt/itt_prop_decide.ml
+1 -1 metaprl/theories/itt/itt_prop_decide.mli
+6 -6 metaprl/theories/itt/itt_quotient.ml
+4 -4 metaprl/theories/itt/itt_quotient.mli
+6 -6 metaprl/theories/itt/itt_record.ml
+5 -5 metaprl/theories/itt/itt_record.mli
+3 -3 metaprl/theories/itt/itt_record0.ml
+3 -3 metaprl/theories/itt/itt_record0.mli
+8 -8 metaprl/theories/itt/itt_record_exm.ml
+3 -3 metaprl/theories/itt/itt_record_exm.mli
+1 -1 metaprl/theories/itt/itt_record_label.ml
+1 -1 metaprl/theories/itt/itt_record_label.mli
+3 -3 metaprl/theories/itt/itt_record_label0.ml
+1 -1 metaprl/theories/itt/itt_record_label0.mli
+4 -4 metaprl/theories/itt/itt_rfun.ml
+3 -3 metaprl/theories/itt/itt_rfun.mli
+5 -5 metaprl/theories/itt/itt_set.ml
+5 -5 metaprl/theories/itt/itt_set.mli
+1 -1 metaprl/theories/itt/itt_sort.ml
+2 -2 metaprl/theories/itt/itt_squash.ml
+2 -2 metaprl/theories/itt/itt_squash.mli
+4 -4 metaprl/theories/itt/itt_squiggle.ml
+2 -2 metaprl/theories/itt/itt_squiggle.mli
+5 -5 metaprl/theories/itt/itt_srec.ml
+3 -3 metaprl/theories/itt/itt_srec.mli
+1 -1 metaprl/theories/itt/itt_struct.ml
+1 -1 metaprl/theories/itt/itt_struct.mli
+6 -6 metaprl/theories/itt/itt_struct2.ml
+1 -1 metaprl/theories/itt/itt_struct2.mli
+5 -5 metaprl/theories/itt/itt_struct3.ml
+5 -5 metaprl/theories/itt/itt_struct3.mli
+3 -3 metaprl/theories/itt/itt_subtype.ml
+2 -2 metaprl/theories/itt/itt_subtype.mli
+1 -1 metaprl/theories/itt/itt_test.ml
+1 -1 metaprl/theories/itt/itt_test.mli
+35 -35 metaprl/theories/itt/itt_theory.ml
+34 -34 metaprl/theories/itt/itt_theory.mli
+3 -3 metaprl/theories/itt/itt_tsquash.ml
+2 -2 metaprl/theories/itt/itt_tsquash.mli
+5 -5 metaprl/theories/itt/itt_tunion.ml
+2 -2 metaprl/theories/itt/itt_tunion.mli
+4 -4 metaprl/theories/itt/itt_union.ml
+3 -3 metaprl/theories/itt/itt_union.mli
+4 -4 metaprl/theories/itt/itt_unit.ml
+1 -1 metaprl/theories/itt/itt_unit.mli
+3 -3 metaprl/theories/itt/itt_void.ml
+2 -2 metaprl/theories/itt/itt_void.mli
+5 -5 metaprl/theories/itt/itt_w.ml
+2 -2 metaprl/theories/itt/itt_w.mli
+2 -2 metaprl/theories/itt/itt_well_founded.ml
+1 -1 metaprl/theories/itt/itt_well_founded.mli
+1 -1 metaprl/theories/itt/jprover_tests.ml
+1 -1 metaprl/theories/itt/jprover_tests.mli
+1 -1 metaprl/theories/lf/lf_ctx.mli
+1 -1 metaprl/theories/lf/lf_dfun.mli
+1 -1 metaprl/theories/lf/lf_kind.mli
+1 -1 metaprl/theories/lf/main.mli
+3 -3 metaprl/theories/mc/mp_mc_compile.ml
+3 -3 metaprl/theories/mc/mp_mc_const_elim.ml
+3 -3 metaprl/theories/mc/mp_mc_const_elim.mli
+1 -1 metaprl/theories/mc/mp_mc_deadcode.ml
+1 -1 metaprl/theories/mc/mp_mc_deadcode.mli
+1 -1 metaprl/theories/mc/mp_mc_fir_base.ml
+1 -1 metaprl/theories/mc/mp_mc_fir_base.mli
+7 -7 metaprl/theories/mc/mp_mc_fir_eval.ml
+7 -7 metaprl/theories/mc/mp_mc_fir_eval.mli
+1 -1 metaprl/theories/mc/mp_mc_fir_exp.ml
+1 -1 metaprl/theories/mc/mp_mc_fir_exp.mli
+2 -2 metaprl/theories/mc/mp_mc_fir_phobos.ml
+1 -1 metaprl/theories/mc/mp_mc_fir_phobos.mli
+1 -1 metaprl/theories/mc/mp_mc_fir_prog.ml
+1 -1 metaprl/theories/mc/mp_mc_fir_prog.mli
+1 -1 metaprl/theories/mc/mp_mc_fir_ty.ml
+1 -1 metaprl/theories/mc/mp_mc_fir_ty.mli
+2 -2 metaprl/theories/mc/mp_mc_inline.ml
+2 -2 metaprl/theories/mc/mp_mc_inline.mli
+1 -1 metaprl/theories/mc/mp_mc_inline_aux.ml
+1 -1 metaprl/theories/mc/mp_mc_inline_aux.mli
+14 -14 metaprl/theories/mc/mp_mc_theory.mlz
+7 -7 metaprl/theories/mc/tests/mp_mc_test.ml
+2 -2 metaprl/theories/mc/tests/mp_mc_test.mli
+1 -1 metaprl/theories/mc/tests/mp_mc_test_connect.ml
+1 -1 metaprl/theories/mc/tests/mp_mc_test_connect.mli
+1 -1 metaprl/theories/mc/tests/mp_mc_test_connect_base.ml
+1 -1 metaprl/theories/mc/tests/mp_mc_test_connect_base.mli
+1 -1 metaprl/theories/mc/tests/mp_mc_test_connect_exp.ml
+1 -1 metaprl/theories/mc/tests/mp_mc_test_connect_exp.mli
+1 -1 metaprl/theories/mc/tests/mp_mc_test_connect_ty.ml
+1 -1 metaprl/theories/mc/tests/mp_mc_test_connect_ty.mli
+1 -1 metaprl/theories/ocaml/ocaml.mlz
+2 -2 metaprl/theories/ocaml/ocaml_base_df.ml
+2 -2 metaprl/theories/ocaml/ocaml_base_df.mli
+10 -10 metaprl/theories/ocaml/ocaml_df.mlz
+2 -2 metaprl/theories/ocaml/ocaml_expr_df.ml
+2 -2 metaprl/theories/ocaml/ocaml_expr_df.mli
+4 -4 metaprl/theories/ocaml/ocaml_me_df.ml
+4 -4 metaprl/theories/ocaml/ocaml_me_df.mli
+3 -3 metaprl/theories/ocaml/ocaml_mt_df.ml
+3 -3 metaprl/theories/ocaml/ocaml_mt_df.mli
+2 -2 metaprl/theories/ocaml/ocaml_patt_df.ml
+2 -2 metaprl/theories/ocaml/ocaml_patt_df.mli
+3 -3 metaprl/theories/ocaml/ocaml_sig_df.ml
+2 -2 metaprl/theories/ocaml/ocaml_sig_df.mli
+3 -3 metaprl/theories/ocaml/ocaml_str_df.ml
+3 -3 metaprl/theories/ocaml/ocaml_str_df.mli
+3 -3 metaprl/theories/ocaml/ocaml_type_df.ml
+2 -2 metaprl/theories/ocaml/ocaml_type_df.mli
+1 -1 metaprl/theories/ocaml_doc/ocaml_doc_class1.ml
+1 -1 metaprl/theories/ocaml_doc/ocaml_doc_exn1.ml
+1 -1 metaprl/theories/ocaml_doc/ocaml_doc_expr1.ml
+1 -1 metaprl/theories/ocaml_doc/ocaml_doc_expr2.ml
+1 -1 metaprl/theories/ocaml_doc/ocaml_doc_expr3.ml
+1 -1 metaprl/theories/ocaml_doc/ocaml_doc_expr4.ml
+1 -1 metaprl/theories/ocaml_doc/ocaml_doc_intro.ml
+1 -1 metaprl/theories/ocaml_doc/ocaml_doc_intro.mli
+1 -1 metaprl/theories/ocaml_doc/ocaml_doc_io1.ml
+1 -1 metaprl/theories/ocaml_doc/ocaml_doc_mod1.ml
+2 -2 metaprl/theories/ocaml_doc/ocaml_doc_mod2.ml
+1 -1 metaprl/theories/ocaml_doc/ocaml_doc_name1.ml
+1 -1 metaprl/theories/ocaml_doc/ocaml_doc_patt1.ml
+1 -1 metaprl/theories/ocaml_doc/ocaml_doc_type1.ml
+1 -1 metaprl/theories/ocaml_doc/ocaml_doc_var1.ml
+2 -2 metaprl/theories/ocaml_sos/ocaml_base_sos.ml
+2 -2 metaprl/theories/ocaml_sos/ocaml_base_sos.mli
+3 -3 metaprl/theories/ocaml_sos/ocaml_expr_sos.ml
+3 -3 metaprl/theories/ocaml_sos/ocaml_expr_sos.mli
+3 -3 metaprl/theories/ocaml_sos/ocaml_patt_sos.ml
+3 -3 metaprl/theories/ocaml_sos/ocaml_patt_sos.mli
+18 -18 metaprl/theories/ocaml_sos/ocaml_theory.mlz
+5 -5 metaprl/theories/sil/sil_itt_sos.ml
+4 -4 metaprl/theories/sil/sil_itt_sos.mli
+2 -2 metaprl/theories/sil/sil_itt_state.ml
+2 -2 metaprl/theories/sil/sil_itt_state.mli
+3 -3 metaprl/theories/sil/sil_itt_state_types.ml
+2 -2 metaprl/theories/sil/sil_itt_state_types.mli
+2 -2 metaprl/theories/sil/sil_itt_types.ml
+3 -3 metaprl/theories/sil/sil_program.ml
+1 -1 metaprl/theories/sil/sil_program.mli
+1 -1 metaprl/theories/sil/sil_programs.ml
+1 -1 metaprl/theories/sil/sil_programs.mli
+3 -3 metaprl/theories/sil/sil_sos.ml
+2 -2 metaprl/theories/sil/sil_sos.ml.new
+3 -3 metaprl/theories/sil/sil_sos.mli
+2 -2 metaprl/theories/sil/sil_sos.mli.new
+1 -1 metaprl/theories/sil/sil_state.ml
+1 -1 metaprl/theories/sil/sil_state.mli
+2 -2 metaprl/theories/sil/sil_state_model.ml
+1 -1 metaprl/theories/sil/sil_state_type.ml
+1 -1 metaprl/theories/sil/sil_state_type.mli
+1 -1 metaprl/theories/sil/sil_state_types.ml
+1 -1 metaprl/theories/sil/sil_types.ml
+1 -1 metaprl/theories/sil/sil_types.mli
+1 -1 metaprl/theories/sil/state_types.ml
+2 -2 metaprl/theories/tactic/base_dform.ml
+2 -2 metaprl/theories/tactic/base_dform.mli
+1 -1 metaprl/theories/tactic/comment.ml
+1 -1 metaprl/theories/tactic/mptop.ml
+1 -1 metaprl/theories/tactic/mptop.mli
+1 -1 metaprl/theories/tactic/nuprl_font.ml
+6 -6 metaprl/theories/tactic/summary.ml
+4 -4 metaprl/theories/tactic/summary.mli
+2 -2 metaprl/theories/tactic/top_conversionals.ml
+1 -1 metaprl/theories/tactic/top_conversionals.mli
+1 -1 metaprl/theories/tactic/top_tacticals.ml
+1 -1 metaprl/theories/tactic/top_tacticals.mli
+1 -1 metaprl/theories/tactic/var.ml
+1 -1 metaprl/theories/tptp/tptp.ml
+1 -1 metaprl/theories/tptp/tptp.mli
+1 -1 metaprl/theories/tptp/tptp_load.ml
+1 -1 metaprl/theories/tptp/tptp_load.mli
+1 -1 metaprl/theories/tptp/tptp_prove.ml
+1 -13 metaprl/util/ocamldep.mll