src/HOL/Tools/Sledgehammer/sledgehammer_mepo.ML
2012-12-05 ago take proximity into account for MaSh + fix a debilitating bug in feature generation
2012-12-05 ago tuning
2012-11-12 ago fixed detection of tautologies -- things like "a = b" in a structured proof, where a and b are Frees, shouldn't be discarted as tautologies
2012-07-20 ago tune Mesh filter
2012-07-20 ago honor suggested MaSh weights
2012-07-20 ago renamed ML structures
2012-07-20 ago renamed ML files