Admin/Benchmarks/HOL-datatype/ROOT.ML
changeset 15661 9ef583b08647
parent 15531 08c8dad8e399
child 16692 d3416641926f
--- 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"];