src/HOL/ex/mesontest2.ML

 (* ========================================================================= *)
 
 (*
  * Original timings for John Harrison's MESON_TAC.
  * Timings below on a 600MHz Pentium III (perch)
- * Some timings below refer to griffon, which is a dual 2.5GHz Power Mac G5.
+ * SOME timings below refer to griffon, which is a dual 2.5GHz Power Mac G5.
  * 
  * A few variable names have been changed to avoid clashing with constants.
  *
  * Changed numeric constants e.g. 0, 1, 2... to num0, num1, num2...
  *