Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-04-27 17:11:21 -0700 (Tue, 27 Apr 2004)
Revision: 5735
Log message:

      Spelling exceptions cleanup.
      

Changes	Path
+2 -0	metaprl/lib/words
+0 -1	metaprl/theories/czf/czf_itt_axioms.ml
+5 -19	metaprl/theories/czf/czf_itt_rel.ml
+1 -2	metaprl/theories/czf/czf_itt_sall.ml
+0 -1	metaprl/theories/czf/czf_itt_sep.ml
+2 -3	metaprl/theories/czf/czf_itt_set_bvd.ml
+1 -2	metaprl/theories/czf/czf_itt_sexists.ml
+1 -2	metaprl/theories/czf/czf_itt_subgroup.ml
+25 -60	metaprl/theories/fir/mfir_exp.ml
+0 -1	metaprl/theories/fir/mfir_sequent.ml
+3 -16	metaprl/theories/fir/mfir_theory.mlz
+17 -43	metaprl/theories/fir/mfir_ty.ml
+1 -2	metaprl/theories/itt/itt_bool.ml
+2 -4	metaprl/theories/itt/itt_dfun.ml
+1 -4	metaprl/theories/itt/itt_disect.ml
+0 -1	metaprl/theories/itt/itt_dprod.ml
+1 -1	metaprl/theories/itt/itt_esquash.ml
+3 -6	metaprl/theories/itt/itt_eta.ml
+1 -2	metaprl/theories/itt/itt_fun.ml
+0 -1	metaprl/theories/itt/itt_int_ext.ml
+1 -1	metaprl/theories/itt/itt_list.ml
+1 -1	metaprl/theories/itt/itt_logic.ml
+0 -1	metaprl/theories/itt/itt_nat.ml
+3 -3	metaprl/theories/itt/itt_prec.ml
+0 -1	metaprl/theories/itt/itt_prod.ml
+1 -2	metaprl/theories/itt/itt_quotient.ml
+1 -2	metaprl/theories/itt/itt_rfun.ml
+2 -4	metaprl/theories/itt/itt_squash.ml
+2 -2	metaprl/theories/itt/itt_srec.ml
+3 -7	metaprl/theories/itt/itt_struct.ml
+2 -4	metaprl/theories/itt/itt_struct2.ml
+0 -1	metaprl/theories/itt/itt_subset.ml
+1 -2	metaprl/theories/itt/itt_tunion.ml
+1 -4	metaprl/theories/itt/itt_union.ml
+10 -18	metaprl/theories/ocaml_doc/ocaml_doc_class1.ml
+1 -12	metaprl/theories/ocaml_doc/ocaml_doc_exn1.ml
+1 -4	metaprl/theories/ocaml_doc/ocaml_doc_expr1.ml