src/HOL/Tools/Sledgehammer/sledgehammer_mepo.ML
Fri, 20 Jul 2012 22:43:51 +0200 tune Mesh filter
Fri, 20 Jul 2012 22:19:46 +0200 honor suggested MaSh weights
Fri, 20 Jul 2012 22:19:45 +0200 renamed ML structures
Fri, 20 Jul 2012 22:19:45 +0200 renamed ML files