Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-06-01 15:38:21 -0700 (Thu, 01 Jun 2006)
Revision: 9240
Log message:

      A few spelling fixes.
      

Changes  Path
+2 -1 metaprl/support/tactics/dtactic.ml
+3 -3 metaprl/theories/itt/core/itt_pairwise.ml
+3 -3 metaprl/theories/itt/core/itt_singleton.ml
+1 -1 metaprl/theories/itt/core/itt_struct.ml
+2 -2 metaprl/theories/s4lp/s4_tests.ml