2010-12-10 haftmann [Fri, 10 Dec 2010 16:10:50 +0100] rev 41107
moved most fundamental lemmas upwards
src/HOL/Set.thy

2010-12-10 bulwahn [Fri, 10 Dec 2010 14:10:35 +0100] rev 41106
setting finite_type_size to 1 in mutabelle_extra
src/HOL/Mutabelle/mutabelle_extra.ML

2010-12-10 bulwahn [Fri, 10 Dec 2010 11:42:05 +0100] rev 41105
adding check_all instances for a few more finite types in smallcheck
src/HOL/Smallcheck.thy

2010-12-10 bulwahn [Fri, 10 Dec 2010 11:42:04 +0100] rev 41104
removing unneccassary sort constraints
src/HOL/Smallcheck.thy

2010-12-10 krauss [Fri, 10 Dec 2010 09:18:17 +0100] rev 41103
made smlnj happy
src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML

2010-12-09 haftmann [Thu, 09 Dec 2010 17:26:08 +0100] rev 41102
merged

2010-12-09 haftmann [Thu, 09 Dec 2010 17:25:43 +0100] rev 41101
tuned names
src/Tools/Code/code_runtime.ML

2010-12-09 haftmann [Thu, 09 Dec 2010 17:25:43 +0100] rev 41100
dictionary constants must permit explicit weakening of classes;
tuned names
src/Tools/Code/code_ml.ML src/Tools/Code/code_thingol.ML src/Tools/nbe.ML

2010-12-09 haftmann [Thu, 09 Dec 2010 09:58:33 +0100] rev 41099
tracing of term to be evaluated
src/Tools/Code/code_runtime.ML

2010-12-09 hoelzl [Thu, 09 Dec 2010 10:22:17 +0100] rev 41098
merged