Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-09-19 12:46:42 -0700 (Mon, 19 Sep 2005)
Revision: 7720
Log message:

      Setting mime-type "application/x-metaprl" on all the *.prla files to tell
      subversion that they should not be merged.
      

Changes  Path
Properties metaprl/theories/base/base_rewrite.prla
Properties metaprl/theories/cic/cic_lambda.prla
Properties metaprl/theories/cic/cic_list.prla
Properties metaprl/theories/czf/czf_itt_abel_group.prla
Properties metaprl/theories/czf/czf_itt_all.prla
Properties metaprl/theories/czf/czf_itt_and.prla
Properties metaprl/theories/czf/czf_itt_axioms.prla
Properties metaprl/theories/czf/czf_itt_bool.prla
Properties metaprl/theories/czf/czf_itt_comment.prla
Properties metaprl/theories/czf/czf_itt_coset.prla
Properties metaprl/theories/czf/czf_itt_cyclic_group.prla
Properties metaprl/theories/czf/czf_itt_cyclic_subgroup.prla
Properties metaprl/theories/czf/czf_itt_dall.prla
Properties metaprl/theories/czf/czf_itt_dexists.prla
Properties metaprl/theories/czf/czf_itt_empty.prla
Properties metaprl/theories/czf/czf_itt_eq.prla
Properties metaprl/theories/czf/czf_itt_equiv.prla
Properties metaprl/theories/czf/czf_itt_exists.prla
Properties metaprl/theories/czf/czf_itt_false.prla
Properties metaprl/theories/czf/czf_itt_group.prla
Properties metaprl/theories/czf/czf_itt_group_bvd.prla
Properties metaprl/theories/czf/czf_itt_group_power.prla
Properties metaprl/theories/czf/czf_itt_hom.prla
Properties metaprl/theories/czf/czf_itt_implies.prla
Properties metaprl/theories/czf/czf_itt_infinity.prla
Properties metaprl/theories/czf/czf_itt_inv_image.prla
Properties metaprl/theories/czf/czf_itt_isect.prla
Properties metaprl/theories/czf/czf_itt_iso.prla
Properties metaprl/theories/czf/czf_itt_ker.prla
Properties metaprl/theories/czf/czf_itt_kleingroup.prla
Properties metaprl/theories/czf/czf_itt_member.prla
Properties metaprl/theories/czf/czf_itt_nat.prla
Properties metaprl/theories/czf/czf_itt_normal_subgroup.prla
Properties metaprl/theories/czf/czf_itt_or.prla
Properties metaprl/theories/czf/czf_itt_pair.prla
Properties metaprl/theories/czf/czf_itt_power.prla
Properties metaprl/theories/czf/czf_itt_pre_theory.prla
Properties metaprl/theories/czf/czf_itt_rel.prla
Properties metaprl/theories/czf/czf_itt_sall.prla
Properties metaprl/theories/czf/czf_itt_sep.prla
Properties metaprl/theories/czf/czf_itt_set.prla
Properties metaprl/theories/czf/czf_itt_set_bvd.prla
Properties metaprl/theories/czf/czf_itt_set_ind.prla
Properties metaprl/theories/czf/czf_itt_setdiff.prla
Properties metaprl/theories/czf/czf_itt_sexists.prla
Properties metaprl/theories/czf/czf_itt_singleton.prla
Properties metaprl/theories/czf/czf_itt_subgroup.prla
Properties metaprl/theories/czf/czf_itt_subset.prla
Properties metaprl/theories/czf/czf_itt_true.prla
Properties metaprl/theories/czf/czf_itt_union.prla
Properties metaprl/theories/fir/mfir_test.prla
Properties metaprl/theories/fol/cfol_itt_all.prla
Properties metaprl/theories/fol/cfol_itt_and.prla
Properties metaprl/theories/fol/cfol_itt_base.prla
Properties metaprl/theories/fol/fol_ctheory.prla
Properties metaprl/theories/fol/fol_itt_and.prla
Properties metaprl/theories/fol/fol_itt_false.prla
Properties metaprl/theories/fol/fol_itt_implies.prla
Properties metaprl/theories/fol/fol_itt_or.prla
Properties metaprl/theories/fol/fol_itt_true.prla
Properties metaprl/theories/fol/fol_not.prla
Properties metaprl/theories/fol/fol_prop.prla
Properties metaprl/theories/fol/fol_struct.prla
Properties metaprl/theories/itt/ctt_markov.prla
Properties metaprl/theories/itt/itt_antiquotient.prla
Properties metaprl/theories/itt/itt_atom.prla
Properties metaprl/theories/itt/itt_bintree.prla
Properties metaprl/theories/itt/itt_bisect.prla
Properties metaprl/theories/itt/itt_bool.prla
Properties metaprl/theories/itt/itt_bunion.prla
Properties metaprl/theories/itt/itt_closure.prla
Properties metaprl/theories/itt/itt_collection.prla
Properties metaprl/theories/itt/itt_cyclic_group.prla
Properties metaprl/theories/itt/itt_decidable.prla
Properties metaprl/theories/itt/itt_derive.prla
Properties metaprl/theories/itt/itt_dfun.prla
Properties metaprl/theories/itt/itt_disect.prla
Properties metaprl/theories/itt/itt_dprod.prla
Properties metaprl/theories/itt/itt_dprod_imp.prla
Properties metaprl/theories/itt/itt_equal.prla
Properties metaprl/theories/itt/itt_esquash.prla
Properties metaprl/theories/itt/itt_ext_equal.prla
Properties metaprl/theories/itt/itt_field2.prla
Properties metaprl/theories/itt/itt_field_e.prla
Properties metaprl/theories/itt/itt_fset.prla
Properties metaprl/theories/itt/itt_fun.prla
Properties metaprl/theories/itt/itt_fun2.prla
Properties metaprl/theories/itt/itt_functions.prla
Properties metaprl/theories/itt/itt_group.prla
Properties metaprl/theories/itt/itt_grouplikeobj.prla
Properties metaprl/theories/itt/itt_hoas_base.prla
Properties metaprl/theories/itt/itt_hoas_bterm.prla
Properties metaprl/theories/itt/itt_hoas_debruijn.prla
Properties metaprl/theories/itt/itt_hoas_destterm.prla
Properties metaprl/theories/itt/itt_hoas_lang.prla
Properties metaprl/theories/itt/itt_hoas_operator.prla
Properties metaprl/theories/itt/itt_hoas_vector.prla
Properties metaprl/theories/itt/itt_image.prla
Properties metaprl/theories/itt/itt_int_arith.prla
Properties metaprl/theories/itt/itt_int_base.prla
Properties metaprl/theories/itt/itt_int_bench.prla
Properties metaprl/theories/itt/itt_int_bench2.prla
Properties metaprl/theories/itt/itt_int_bench3.prla
Properties metaprl/theories/itt/itt_int_ext.prla
Properties metaprl/theories/itt/itt_int_test.prla
Properties metaprl/theories/itt/itt_intdomain.prla
Properties metaprl/theories/itt/itt_intdomain_e.prla
Properties metaprl/theories/itt/itt_isect.prla
Properties metaprl/theories/itt/itt_list.prla
Properties metaprl/theories/itt/itt_list2.prla
Properties metaprl/theories/itt/itt_logic.prla
Properties metaprl/theories/itt/itt_mpoly.prla
Properties metaprl/theories/itt/itt_mpoly2.prla
Properties metaprl/theories/itt/itt_mpoly2_bench.prla
Properties metaprl/theories/itt/itt_mpoly3.prla
Properties metaprl/theories/itt/itt_mpoly3_bench.prla
Properties metaprl/theories/itt/itt_nat.prla
Properties metaprl/theories/itt/itt_nequal.prla
Properties metaprl/theories/itt/itt_obj_base_rewrite.prla
Properties metaprl/theories/itt/itt_omega.prla
Properties metaprl/theories/itt/itt_order.prla
Properties metaprl/theories/itt/itt_pairwise.prla
Properties metaprl/theories/itt/itt_pairwise2.prla
Properties metaprl/theories/itt/itt_pointwise.prla
Properties metaprl/theories/itt/itt_pointwise2.prla
Properties metaprl/theories/itt/itt_poly.prla
Properties metaprl/theories/itt/itt_prod.prla
Properties metaprl/theories/itt/itt_prop_decide.prla
Properties metaprl/theories/itt/itt_quotient.prla
Properties metaprl/theories/itt/itt_quotient_group.prla
Properties metaprl/theories/itt/itt_rat.prla
Properties metaprl/theories/itt/itt_rat2.prla
Properties metaprl/theories/itt/itt_record.prla
Properties metaprl/theories/itt/itt_record0.prla
Properties metaprl/theories/itt/itt_record_exm.prla
Properties metaprl/theories/itt/itt_record_label.prla
Properties metaprl/theories/itt/itt_record_label0.prla
Properties metaprl/theories/itt/itt_record_renaming.prla
Properties metaprl/theories/itt/itt_reflection.prla
Properties metaprl/theories/itt/itt_reflection_example_lambda.prla
Properties metaprl/theories/itt/itt_reflection_lambda_typing.prla
Properties metaprl/theories/itt/itt_reflection_new.prla
Properties metaprl/theories/itt/itt_reflection_test.prla
Properties metaprl/theories/itt/itt_rfun.prla
Properties metaprl/theories/itt/itt_ring2.prla
Properties metaprl/theories/itt/itt_ring_e.prla
Properties metaprl/theories/itt/itt_ring_uce.prla
Properties metaprl/theories/itt/itt_set.prla
Properties metaprl/theories/itt/itt_singleton.prla
Properties metaprl/theories/itt/itt_sort.prla
Properties metaprl/theories/itt/itt_sortedtree.prla
Properties metaprl/theories/itt/itt_squash.prla
Properties metaprl/theories/itt/itt_squiggle.prla
Properties metaprl/theories/itt/itt_srec.prla
Properties metaprl/theories/itt/itt_struct.prla
Properties metaprl/theories/itt/itt_struct2.prla
Properties metaprl/theories/itt/itt_struct3.prla
Properties metaprl/theories/itt/itt_subset.prla
Properties metaprl/theories/itt/itt_subset2.prla
Properties metaprl/theories/itt/itt_subtype.prla
Properties metaprl/theories/itt/itt_supinf.prla
Properties metaprl/theories/itt/itt_synt_bterm.prla
Properties metaprl/theories/itt/itt_synt_lang.prla
Properties metaprl/theories/itt/itt_synt_operator.prla
Properties metaprl/theories/itt/itt_synt_subst.prla
Properties metaprl/theories/itt/itt_synt_var.prla
Properties metaprl/theories/itt/itt_tsquash.prla
Properties metaprl/theories/itt/itt_tunion.prla
Properties metaprl/theories/itt/itt_union.prla
Properties metaprl/theories/itt/itt_unit.prla
Properties metaprl/theories/itt/itt_unitring.prla
Properties metaprl/theories/itt/itt_void.prla
Properties metaprl/theories/itt/itt_w.prla
Properties metaprl/theories/itt/itt_well_founded.prla
Properties metaprl/theories/itt/jprover_tests.prla
Properties metaprl/theories/kat/kat_axioms.prla
Properties metaprl/theories/mesa/ma_message__automata.prla
Properties metaprl/theories/mesa/nuprl_Dconstant_object_directory.prla
Properties metaprl/theories/mesa/nuprl_once_object_directory.prla
Properties metaprl/theories/mesa/nuprl_recognizer1_object_directory.prla
Properties metaprl/theories/mesa/nuprl_ring__leader1_object_directory.prla
Properties metaprl/theories/mesa/nuprl_send__once_object_directory.prla
Properties metaprl/theories/mesa/nuprl_trigger1_object_directory.prla
Properties metaprl/theories/s4lp/s4_logic.prla
Properties metaprl/theories/s4lp/s4_tests.prla
Properties metaprl/theories/tptp/tptp.prla