isabelle: Admin/Benchmarks/HOL-datatype/ROOT.ML@12c7029d278b (annotated)

7373 776d888472aa better timing information; wenzelm parents: 7013 diff changeset	1	(* Title: Admin/Benchmarks/HOL-datatype/ROOT.ML
7013 8a7fb425e04a Some rather large datatype examples (from John Harrison). berghofe parents: diff changeset	2	ID: $Id$
8a7fb425e04a Some rather large datatype examples (from John Harrison). berghofe parents: diff changeset	3
8a7fb425e04a Some rather large datatype examples (from John Harrison). berghofe parents: diff changeset	4	Some rather large datatype examples (from John Harrison).
8a7fb425e04a Some rather large datatype examples (from John Harrison). berghofe parents: diff changeset	5	*)
8a7fb425e04a Some rather large datatype examples (from John Harrison). berghofe parents: diff changeset	6
7373 776d888472aa better timing information; wenzelm parents: 7013 diff changeset	7	val tests = ["Brackin", "Instructions", "SML", "Verilog"];
776d888472aa better timing information; wenzelm parents: 7013 diff changeset	8
9000 c20d58286a51 cleaned up; wenzelm parents: 7373 diff changeset	9	set timing;
7373 776d888472aa better timing information; wenzelm parents: 7013 diff changeset	10
776d888472aa better timing information; wenzelm parents: 7013 diff changeset	11	warning "\nset quick_and_dirty\n"; set quick_and_dirty;
776d888472aa better timing information; wenzelm parents: 7013 diff changeset	12	seq time_use_thy tests;
776d888472aa better timing information; wenzelm parents: 7013 diff changeset	13
10100 567b9676cb0a only run quick_and_dirty version by default; wenzelm parents: 9000 diff changeset	14	(* not run by default
7373 776d888472aa better timing information; wenzelm parents: 7013 diff changeset	15	warning "\nreset quick_and_dirty\n"; reset quick_and_dirty;
776d888472aa better timing information; wenzelm parents: 7013 diff changeset	16	seq remove_thy tests;
776d888472aa better timing information; wenzelm parents: 7013 diff changeset	17	seq time_use_thy tests;
10100 567b9676cb0a only run quick_and_dirty version by default; wenzelm parents: 9000 diff changeset	18	*)

author	nipkow
	Sun, 06 Apr 2003 10:08:52 +0200
changeset 13899	12c7029d278b
parent 10100	567b9676cb0a
child 15531	08c8dad8e399
permissions	-rw-r--r--