Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-10-31 11:36:42 -0800 (Thu, 31 Oct 2002)
Revision: 3922
Log message:

      Fixed a few typos, checked a few theories through MP_DEBUG=spell
      

Changes	Path
+20 -1	metaprl/lib/words
+1 -1	metaprl/theories/itt/itt_isect.ml
+21 -24	metaprl/theories/itt/itt_squash.ml
+1 -1	metaprl/theories/itt/itt_squiggle.ml
+1 -1	metaprl/theories/itt/itt_subtype.ml
+20 -20	metaprl/theories/tactic/comment.ml
+10 -10	metaprl/theories/tactic/summary.ml
+55 -63	metaprl/theories/tactic/top_conversionals.ml
+74 -82	metaprl/theories/tactic/top_tacticals.ml
+4 -6	metaprl/theories/tactic/var.ml