changeset 7013 | 8a7fb425e04a |
child 7373 | 776d888472aa |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Admin/Benchmarks/HOL-datatype/ROOT.ML Fri Jul 16 12:02:06 1999 +0200 @@ -0,0 +1,10 @@ +(* Title: Admin/Benchmarks/HOL-datatype/Brackin.thy + ID: $Id$ + +Some rather large datatype examples (from John Harrison). +*) + +time_use_thy "Brackin"; +time_use_thy "Instructions"; +time_use_thy "SML"; +time_use_thy "Verilog";