Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-01-31 14:44:31 -0800 (Wed, 31 Jan 2001)
Revision: 3124
Log message:

      Spelling changes.
      For best results, upgrade to http://www.cs.cornell.edu/nogin/RPM/MetaPRL/noarch/words-2.1-1.noarch.html
      

Changes	Path
+12 -16	metaprl/filter/base/filter_spell.ml
+1 -1	metaprl/filter/boot/tacticals_boot.ml
+5 -5	metaprl/filter/filter/filter_parse.ml
+1 -1	metaprl/lib/Makefile
+1 -5	metaprl/theories/base/.ispell_english
Added	metaprl/theories/czf/.ispell_english
Properties	metaprl/theories/czf/.ispell_english
+3 -0	metaprl/theories/czf/czf_itt_isect.ml
+3 -0	metaprl/theories/czf/czf_itt_set.ml
+6 -83	metaprl/theories/itt/.ispell_english
+7 -4	metaprl/theories/itt/itt_disect.ml
+3 -0	metaprl/theories/itt/itt_isect.ml
+3 -3	metaprl/theories/itt/itt_rfun.ml
+1 -1	metaprl/theories/itt/itt_struct2.ml
+4 -4	metaprl/theories/itt/itt_well_founded.ml
+3 -9	metaprl/theories/tactic/.ispell_english
+1 -1	metaprl/theories/tactic/summary.ml
+1 -1	metaprl/theories/tactic/top_conversionals.ml
+4 -4	metaprl/theories/tactic/top_tacticals.ml