Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Datatype_Benchmark/ROOT.ML
author wenzelm
Sat, 25 Feb 2012 12:34:56 +0100
changeset 46665 919dfcdf6d8a
parent 45860 93eda35a8377
permissions -rw-r--r--
discontinued slightly odd Graph.del_nodes (inefficient due to full Table.map);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
45860
93eda35a8377 more visible benchmarks;
wenzelm
parents: 44639
diff changeset 
     1
 
(*  Title:      HOL/Datatype_Benchmark/ROOT.ML
7013
8a7fb425e04a Some rather large datatype examples (from John Harrison).
berghofe
parents:
diff changeset 
     2
 







15661






9ef583b08647
reverted renaming of Some/None in comments and strings;



wenzelm


parents: 
15531

diff
changeset




     3


Some rather large datatype examples (from John Harrison).








7013






8a7fb425e04a
Some rather large datatype examples (from John Harrison).



berghofe


parents: 

diff
changeset




     4


*)













8a7fb425e04a
Some rather large datatype examples (from John Harrison).



berghofe


parents: 

diff
changeset




     5









44639






83dc04ccabd5
repaired benchmarks;



wenzelm


parents: 
38798

diff
changeset




     6


Toplevel.timing := true;








7373






776d888472aa
better timing information;



wenzelm


parents: 
7013

diff
changeset




     7









45860






93eda35a8377
more visible benchmarks;



wenzelm


parents: 
44639

diff
changeset




     8


use_thys ["Brackin", "Instructions", "SML", "Verilog"];















isabelle