src/HOL/Tools/Sledgehammer/sledgehammer_util.ML
Fri, 16 Apr 2010 14:48:34 +0200 blanchet store nonmangled names along with mangled type names in Sledgehammer for debugging purposes
Wed, 14 Apr 2010 18:23:51 +0200 blanchet make Sledgehammer "minimize" output less confusing + round up (not down) time limits to nearest second
Mon, 29 Mar 2010 15:50:18 +0200 blanchet get rid of Polyhash, since it's no longer used
Tue, 23 Mar 2010 11:39:21 +0100 blanchet added options to Sledgehammer;
less more (0) tip