| Tue, 01 Sep 2015 22:32:58 +0200 | wenzelm | eliminated \<Colon>; | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Thu, 12 Jun 2014 17:10:12 +0200 | blanchet | renamed Sledgehammer options | file | diff | annotate |
| Thu, 30 Jan 2014 14:37:53 +0100 | blanchet | renamed Sledgehammer options for symmetry between positive and negative versions | file | diff | annotate |
| Tue, 13 Aug 2013 16:25:47 +0200 | wenzelm | standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find; | file | diff | annotate |
| Thu, 14 Feb 2013 22:49:22 +0100 | smolkas | renamed sledgehammer_shrink to sledgehammer_compress | file | diff | annotate |
| Thu, 03 Jan 2013 17:28:55 +0100 | blanchet | use new skolemizer for reconstructing skolemization steps in Isar proofs (because the old skolemizer messes up the order of the Skolem arguments) | file | diff | annotate |