2012-12-26 wenzelm [Wed, 26 Dec 2012 11:06:21 +0100] rev 50617
prefer lxbroy10 to evade NFS/hg breakdown seen on various other local machines;
README_REPOSITORY

2012-12-23 nipkow [Sun, 23 Dec 2012 19:54:15 +0100] rev 50616
renamed and added lemmas
NEWS src/HOL/Transitive_Closure.thy

2012-12-22 nipkow [Sat, 22 Dec 2012 00:04:50 +0100] rev 50615
added simp rule
src/HOL/Lattices.thy

2012-12-21 nipkow [Fri, 21 Dec 2012 23:52:10 +0100] rev 50614
merged

2012-12-21 nipkow [Fri, 21 Dec 2012 16:31:37 +0100] rev 50613
merged

2012-12-21 nipkow [Fri, 21 Dec 2012 10:08:06 +0100] rev 50612
merged

2012-12-21 blanchet [Fri, 21 Dec 2012 15:22:57 +0100] rev 50611
linearize eval driver, to work around horrible bug in previous implementation
src/HOL/TPTP/mash_export.ML

2012-12-21 blanchet [Fri, 21 Dec 2012 14:35:29 +0100] rev 50610
name tuning
src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML

2012-12-21 blanchet [Fri, 21 Dec 2012 13:33:54 +0100] rev 50609
merge

2012-12-20 blanchet [Thu, 20 Dec 2012 15:51:27 +0100] rev 50608
better weight functions for MePo/MaSh etc.
src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML src/HOL/Tools/Sledgehammer/sledgehammer_mepo.ML src/HOL/Tools/Sledgehammer/sledgehammer_util.ML