Admin/Benchmarks/HOL-datatype/ROOT.ML

--- a/Admin/Benchmarks/HOL-datatype/ROOT.ML	Thu Apr 07 09:24:35 2005 +0200
+++ b/Admin/Benchmarks/HOL-datatype/ROOT.ML	Thu Apr 07 09:25:33 2005 +0200
@@ -1,7 +1,7 @@
 (*  Title:      Admin/Benchmarks/HOL-datatype/ROOT.ML
     ID:         $Id$
 
-SOME rather large datatype examples (from John Harrison).
+Some rather large datatype examples (from John Harrison).
 *)
 
 val tests = ["Brackin", "Instructions", "SML", "Verilog"];