Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-07-04 20:04:58 -0700 (Tue, 04 Jul 2006)
Revision: 9419
Log message:

      Simplified the spellchecker slightly.
      

Changes  Path
+14 -32 metaprl/filter/base/filter_spell.ml
+1 -1 metaprl/filter/filter/term_grammar.ml
+1 -1 metaprl/theories/czf/czf_itt_group.ml
+1 -1 metaprl/theories/itt/core/itt_pairwise.ml
+1 -1 metaprl/theories/itt/core/itt_subset.ml