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"];