Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-06-20 06:56:53 -0700 (Wed, 20 Jun 2001)
Revision: 3281
Log message:

      The redundant "_resource" suffix should not be used in resource names.
      

Changes	Path
+2 -1	metaprl/filter/base/filter_prog.ml
+4 -4	metaprl/theories/czf/czf_itt_all.ml
+4 -4	metaprl/theories/czf/czf_itt_and.ml
+5 -5	metaprl/theories/czf/czf_itt_dall.ml
+5 -5	metaprl/theories/czf/czf_itt_dexists.ml
+2 -2	metaprl/theories/czf/czf_itt_empty.ml
+13 -13	metaprl/theories/czf/czf_itt_eq.ml
+4 -4	metaprl/theories/czf/czf_itt_exists.ml
+4 -4	metaprl/theories/czf/czf_itt_false.ml
+6 -6	metaprl/theories/czf/czf_itt_implies.ml
+8 -8	metaprl/theories/czf/czf_itt_isect.ml
+4 -4	metaprl/theories/czf/czf_itt_member.ml
+12 -12	metaprl/theories/czf/czf_itt_nat.ml
+4 -4	metaprl/theories/czf/czf_itt_or.ml
+5 -5	metaprl/theories/czf/czf_itt_pair.ml
+1 -1	metaprl/theories/czf/czf_itt_power.ml
+1 -1	metaprl/theories/czf/czf_itt_rel.ml
+3 -3	metaprl/theories/czf/czf_itt_sall.ml
+6 -6	metaprl/theories/czf/czf_itt_sep.ml
+6 -6	metaprl/theories/czf/czf_itt_set.ml
+3 -3	metaprl/theories/czf/czf_itt_sexists.ml
+4 -4	metaprl/theories/czf/czf_itt_singleton.ml
+5 -5	metaprl/theories/czf/czf_itt_subset.ml
+4 -4	metaprl/theories/czf/czf_itt_true.ml
+9 -9	metaprl/theories/czf/czf_itt_union.ml
+1 -1	metaprl/theories/fol/cfol_itt_and.ml
+6 -6	metaprl/theories/fol/cfol_itt_base.ml
+3 -3	metaprl/theories/fol/fol_all.ml
+3 -3	metaprl/theories/fol/fol_and.ml
+3 -3	metaprl/theories/fol/fol_exists.ml
+2 -2	metaprl/theories/fol/fol_false.ml
+3 -3	metaprl/theories/fol/fol_implies.ml
+3 -3	metaprl/theories/fol/fol_not.ml
+4 -4	metaprl/theories/fol/fol_or.ml
+2 -2	metaprl/theories/fol/fol_true.ml
+1 -1	metaprl/theories/fol/fol_univ.ml
+1 -1	metaprl/theories/itt/ctt_markov.ml
+3 -3	metaprl/theories/itt/itt_atom.ml
+3 -3	metaprl/theories/itt/itt_atom_bool.ml
+3 -3	metaprl/theories/itt/itt_bisect.ml
+26 -26	metaprl/theories/itt/itt_bool.ml
+5 -5	metaprl/theories/itt/itt_bunion.ml
+37 -37	metaprl/theories/itt/itt_collection.ml
+2 -2	metaprl/theories/itt/itt_decidable.ml
+10 -10	metaprl/theories/itt/itt_dfun.ml
+11 -11	metaprl/theories/itt/itt_disect.ml
+7 -7	metaprl/theories/itt/itt_dprod.ml
+13 -13	metaprl/theories/itt/itt_dprod_imp.ml
+8 -8	metaprl/theories/itt/itt_equal.ml
+12 -12	metaprl/theories/itt/itt_esquash.ml
+5 -5	metaprl/theories/itt/itt_fun.ml
+23 -23	metaprl/theories/itt/itt_int.ml
+16 -16	metaprl/theories/itt/itt_int_base.ml
+3 -3	metaprl/theories/itt/itt_int_bool.ml
+7 -7	metaprl/theories/itt/itt_int_ext.ml
+2 -2	metaprl/theories/itt/itt_inv_typing.ml
+13 -13	metaprl/theories/itt/itt_isect.ml
+9 -9	metaprl/theories/itt/itt_list.ml
+11 -11	metaprl/theories/itt/itt_list2.ml
+47 -47	metaprl/theories/itt/itt_logic.ml
+4 -4	metaprl/theories/itt/itt_nat.ml
+6 -6	metaprl/theories/itt/itt_prec.ml
+6 -6	metaprl/theories/itt/itt_prod.ml
+9 -9	metaprl/theories/itt/itt_quotient.ml
+19 -19	metaprl/theories/itt/itt_record.ml
+20 -20	metaprl/theories/itt/itt_record0.ml
+17 -17	metaprl/theories/itt/itt_record_exm.ml
+3 -3	metaprl/theories/itt/itt_record_label.ml
+6 -6	metaprl/theories/itt/itt_record_label0.ml
+10 -10	metaprl/theories/itt/itt_rfun.ml
+6 -6	metaprl/theories/itt/itt_set.ml
+9 -9	metaprl/theories/itt/itt_sort.ml
+4 -4	metaprl/theories/itt/itt_squash.ml
+5 -5	metaprl/theories/itt/itt_squiggle.ml
+7 -7	metaprl/theories/itt/itt_srec.ml
+5 -5	metaprl/theories/itt/itt_subtype.ml
+5 -5	metaprl/theories/itt/itt_tunion.ml
+11 -11	metaprl/theories/itt/itt_union.ml
+5 -5	metaprl/theories/itt/itt_unit.ml
+3 -3	metaprl/theories/itt/itt_void.ml
+6 -6	metaprl/theories/itt/itt_w.ml
+2 -2	metaprl/theories/itt/itt_well_founded.ml
+3 -3	metaprl/theories/reflect_itt/refl_free_vars.ml
+10 -10	metaprl/theories/reflect_itt/refl_raw_term.ml
+16 -16	metaprl/theories/reflect_itt/refl_term.ml
+10 -10	metaprl/theories/reflect_itt/refl_var.ml
+24 -24	metaprl/theories/reflect_itt/refl_var_set.ml
+3 -3	metaprl/theories/sil/sil_itt_sos.ml
+12 -12	metaprl/theories/sil/sil_itt_state_types.ml
+1 -1	metaprl/theories/sil/sil_program.ml
+15 -15	metaprl/theories/sil/sil_state_model.ml
+11 -11	metaprl/theories/sil/sil_state_type.ml
+8 -8	metaprl/theories/tptp/tptp.ml