src/HOL/Tools/Sledgehammer/sledgehammer_annotate.ML
Wed, 28 Nov 2012 12:25:43 +0100 smolkas added comments to new source files
Wed, 28 Nov 2012 12:22:17 +0100 smolkas put shrink in own structure
Wed, 28 Nov 2012 12:22:05 +0100 smolkas put annotate in own structure
less more (0) tip